TIMESTAMP = 1725423619
SHA256 (YosysHQ-yosys-0.45_GH0.tar.gz) = a36cc7943094c8ba0118e0ec38c719d2fb9142fe13833d326fa7ba659911c246
SIZE (YosysHQ-yosys-0.45_GH0.tar.gz) = 2921074
