TIMESTAMP = 1730876156
SHA256 (YosysHQ-sby-yosys-0.47_GH0.tar.gz) = 3e4512983d674742fcaf3df84ff205b634c4edbf6a72afe28969e484d7215ca6
SIZE (YosysHQ-sby-yosys-0.47_GH0.tar.gz) = 153973
