TIMESTAMP = 1638604342
SHA256 (YosysHQ-yosys-yosys-0.12_GH0.tar.gz) = 0a7467058d11a5d905bf43a5f5fdafbbb22369365b7cc083215d8cf9a45975fa
SIZE (YosysHQ-yosys-yosys-0.12_GH0.tar.gz) = 2060970
