TIMESTAMP = 1757814677
SHA256 (verilog-12.0.tar.gz) = 03848551a9c5ec390fefcff1bbcca14765c7aa035ee85bc9cbcb0424e0149fd4
SIZE (verilog-12.0.tar.gz) = 3334697
