TIMESTAMP = 1765845301
SHA256 (cvc5-cvc5-cvc5-1.3.2_GH0.tar.gz) = 85a9cc4e1f80efcdb235e89c9f361c74b1089023ceb43f38c2d5e73a4e2db47e
SIZE (cvc5-cvc5-cvc5-1.3.2_GH0.tar.gz) = 9250970
