TIMESTAMP = 1778282554
SHA256 (cvc5-cvc5-cvc5-1.3.4_GH0.tar.gz) = 40e7a0d311ebd583972f412701a0f4bc325632bab74ca25f407b3acbb66db44e
SIZE (cvc5-cvc5-cvc5-1.3.4_GH0.tar.gz) = 9271118