SHA512 (yosys-5691cd0.tar.gz) = dfef2a03ecf2d11869046d5ac7934bd55179c930748aee4dcc52bb3d3f54e6af416aa28eb85301d82a41a905aecf3c4490007b3a22305a864b1b3181bb0b2291
SHA512 (yosys_0.9-1.debian.tar.xz) = d9df5637efc730b2b681daa8a5933803dba70dca5b31fe4ac13601032eccd9105c001563cf627fbdd2d4ebad8551f2647e882fbf107a7df98badb2d200e2b4dc