SHA512 (yosys-47bdb3e.tar.gz) = 49d0877f86ecd43fc958f95800bc5e2449f91e356f0d97d1e1c75e3bfddcf31e72a91f3b34ab600a16f221e9d087c00d16919ff5f53d03f42ea616ef3b159b3a
SHA512 (yosys_0.9-1.debian.tar.xz) = d9df5637efc730b2b681daa8a5933803dba70dca5b31fe4ac13601032eccd9105c001563cf627fbdd2d4ebad8551f2647e882fbf107a7df98badb2d200e2b4dc