TIMESTAMP = 1717829982
SHA256 (YosysHQ-sby-yosys-0.42_GH0.tar.gz) = 8d616f23927967a051660ca9049611cada5d8529adcb5b2f35399b6fd18d4110
SIZE (YosysHQ-sby-yosys-0.42_GH0.tar.gz) = 199755