TIMESTAMP = 1772349925
SHA256 (cvc5-cvc5-cvc5-1.3.3_GH0.tar.gz) = 7eeeb65a6c5bfe985a6b3fc7938b87709bbc0e3f72d661b1d0587d4173ad9b33
SIZE (cvc5-cvc5-cvc5-1.3.3_GH0.tar.gz) = 9241613
