SHA512 (yosys-029c278.tar.gz) = bd693f41aa095b7eb68931c3b0e02b01ff57b229d5caddd632b1d8cd75f1e9ccc822e8bb7ae4316cb873d319802b2b00192c26bc0b461cbb5b2526b65bfce65d
SHA512 (yosys_0.9-1.debian.tar.xz) = d9df5637efc730b2b681daa8a5933803dba70dca5b31fe4ac13601032eccd9105c001563cf627fbdd2d4ebad8551f2647e882fbf107a7df98badb2d200e2b4dc