SHA512 (yosys-51dd029.tar.gz) = bd411848cd1487f815933a804a24dbf86c089cea58c12e80ed43d17f9f707bd6cdc2e77695a22181d31915a4ce0178285a5f03d3f45a2f820b3d60780e80065e
SHA512 (yosys_0.9-1.debian.tar.xz) = d9df5637efc730b2b681daa8a5933803dba70dca5b31fe4ac13601032eccd9105c001563cf627fbdd2d4ebad8551f2647e882fbf107a7df98badb2d200e2b4dc