TIMESTAMP = 1646524327
SHA256 (YosysHQ-yosys-yosys-0.15_GH0.tar.gz) = a40fcc487d2a31c2abc6f61d39a84e262f2650e40de479542bbde317308c4612
SIZE (YosysHQ-yosys-yosys-0.15_GH0.tar.gz) = 2245412