SHA512 (yosys-84f0df1.tar.gz) = 5b04fa1d1449d4261996893bcbc8784e328f86a3eab99f2cf33ace52d45874f88e11c1f04b5b43bf4646a89429c29dfd3fd3ab35fb54dda7d98ef87e7eeed0d3
SHA512 (yosys_0.9-1.debian.tar.xz) = d9df5637efc730b2b681daa8a5933803dba70dca5b31fe4ac13601032eccd9105c001563cf627fbdd2d4ebad8551f2647e882fbf107a7df98badb2d200e2b4dc