SHA512 (yosys-389b8d0.tar.gz) = 39bce83b559354c3cb326b2a82485ef62c005f18742a2dbb07b52df5307a1d2729d12cb8322486b2967684a102ee5d9f43d9c344b38a1e4a1a4e38ddb88b395d
SHA512 (yosys_0.9-1.debian.tar.xz) = d9df5637efc730b2b681daa8a5933803dba70dca5b31fe4ac13601032eccd9105c001563cf627fbdd2d4ebad8551f2647e882fbf107a7df98badb2d200e2b4dc