SHA512 (yosys-b3124f3.tar.gz) = 63ae951eb951b68785919fb0ac1307a1699f39468685b8c89fec68b82143944ae3663c0e490c185f23bb97171dc2b56bec4a81b117e118113e96180d77005c29
SHA512 (yosys_0.9-1.debian.tar.xz) = d9df5637efc730b2b681daa8a5933803dba70dca5b31fe4ac13601032eccd9105c001563cf627fbdd2d4ebad8551f2647e882fbf107a7df98badb2d200e2b4dc