SHA512 (yosys-9a41380.tar.gz) = d5b245ab8068a9ccf798c84b327878762854557906b465355f80219f235cc8f66fcd625a48a396e05c93fb8ccd2d0e2dd46766372d58c338d78e9070ba8f8764
SHA512 (yosys_0.9-1.debian.tar.xz) = d9df5637efc730b2b681daa8a5933803dba70dca5b31fe4ac13601032eccd9105c001563cf627fbdd2d4ebad8551f2647e882fbf107a7df98badb2d200e2b4dc