TIMESTAMP = 1723346538
SHA256 (cvc5-cvc5-cvc5-1.2.0_GH0.tar.gz) = 7877b1f89f8b6a6bcc643d9ab1c60535911f6a30e32233eafa9db8a3eae5e34e
SIZE (cvc5-cvc5-cvc5-1.2.0_GH0.tar.gz) = 8916450