TIMESTAMP = 1709575825
SHA256 (cvc5-cvc5-cvc5-1.1.2_GH0.tar.gz) = f2eba3f957f5e064e6a87f0dce88fd647932d02014061c8f6a79bf188203993a
SIZE (cvc5-cvc5-cvc5-1.1.2_GH0.tar.gz) = 8581968
