TIMESTAMP = 1738036883
SHA256 (cvc5-cvc5-cvc5-1.2.1_GH0.tar.gz) = 01197ca37a810bce418ae98a44dbb3348697554582395300a09c85d7af182d69
SIZE (cvc5-cvc5-cvc5-1.2.1_GH0.tar.gz) = 9045038
