TIMESTAMP = 1686070461
SHA256 (YosysHQ-yosys-yosys-0.30_GH0.tar.gz) = 1b29c9ed3d396046b67c48f0900a5f2156c6136f2e0651671d05ee26369f147d
SIZE (YosysHQ-yosys-yosys-0.30_GH0.tar.gz) = 2542403