TIMESTAMP = 1693974090
SHA256 (YosysHQ-yosys-yosys-0.33_GH0.tar.gz) = c240fa4fcc71c73b8989ab500f7bfa3109436fa1d7ba8d7e1028af4c42688f29
SIZE (YosysHQ-yosys-yosys-0.33_GH0.tar.gz) = 2586120
