TIMESTAMP = 1776162309
SHA256 (YosysHQ-yosys-v0.64_GH0.tar.gz) = 3023acd01e97bcda9ed052c989bb3617ff03d5819f64d3a0e13a15dff397a4f4
SIZE (YosysHQ-yosys-v0.64_GH0.tar.gz) = 3617678