SHA512 (yosys-b04d0e0.tar.gz) = 338135e797643e565998bad63d92cd277c0a370183bdb11486b1a0e1c4d48279a407f5d5ba69ce332fb2bf77b923920706e21b752f9040d5a51d19d42e5d5095
SHA512 (yosys_0.9-1.debian.tar.xz) = d9df5637efc730b2b681daa8a5933803dba70dca5b31fe4ac13601032eccd9105c001563cf627fbdd2d4ebad8551f2647e882fbf107a7df98badb2d200e2b4dc