TIMESTAMP = 1712381917
SHA256 (verilator-verilator-v5.024_GH0.tar.gz) = 88b04c953e7165c670d6a700f202cef99c746a0867b4e2efe1d7ea789dee35f3
SIZE (verilator-verilator-v5.024_GH0.tar.gz) = 3879481
