SHA512 (yosys-7bac192.tar.gz) = 719aba7cc2afc362a754292f8139222281ddc56589ed6a966e91ff2baaa6b00a0a969fe50fac318d4d5d297147e04f4aad3ea75302ebed1dd3852ac3e980cf51
SHA512 (yosys_0.9-1.debian.tar.xz) = d9df5637efc730b2b681daa8a5933803dba70dca5b31fe4ac13601032eccd9105c001563cf627fbdd2d4ebad8551f2647e882fbf107a7df98badb2d200e2b4dc