SHA512 (yosys-b58664d.tar.gz) = 7603ff816dedf45b5f29c696a2971aa7529f5e5b733310a4a73af7495d841f1628b1ad3eab4347baefe0b37db36f16640428b91daeff0163ede0a8c1c7349c1a
SHA512 (yosys_0.9-1.debian.tar.xz) = d9df5637efc730b2b681daa8a5933803dba70dca5b31fe4ac13601032eccd9105c001563cf627fbdd2d4ebad8551f2647e882fbf107a7df98badb2d200e2b4dc