TIMESTAMP = 1789892477
SHA256 (cvc5-cvc5-cvc5-1.4.0_GH0.tar.gz) = 06c65b30693d1abf7c1393b497c799950de2833457920b9433da8e418bce9113
SIZE (cvc5-cvc5-cvc5-1.4.0_GH0.tar.gz) = 9483162
