TIMESTAMP = 1670571827
SHA256 (YosysHQ-yosys-yosys-0.24_GH0.tar.gz) = 6a00b60e2d6bc8df0db1e66aa27af42a0694121cfcd6a3cf6f39c9329ed91263
SIZE (YosysHQ-yosys-yosys-0.24_GH0.tar.gz) = 2659037
