TIMESTAMP = 1717824447
SHA256 (YosysHQ-yosys-yosys-0.42_GH0.tar.gz) = 359714de8378665edebfacdf996b5f4f2fa55bf33071fc92ad6e08b5c4bdb648
SIZE (YosysHQ-yosys-yosys-0.42_GH0.tar.gz) = 2807211
