TIMESTAMP = 1750308675
SHA256 (cvc5-cvc5-cvc5-1.3.0_GH0.tar.gz) = 8747e449bdbb2264ccf7404fdf960977057a18de7f70c5e3b738847210e4065a
SIZE (cvc5-cvc5-cvc5-1.3.0_GH0.tar.gz) = 9163706