TIMESTAMP = 1745810869
SHA256 (YosysHQ-yosys-v0.52_GH0.tar.gz) = b6212f132edb4127099406ebdd1c6aee0f5db4175d8ce44053c45089e00dabbe
SIZE (YosysHQ-yosys-v0.52_GH0.tar.gz) = 3295413
