../ cvc5_1.1.2-1build1_amd64.deb 23-Dec-2024 14:03 95604 libcvc5-1_1.1.2-1build1_amd64.deb 23-Dec-2024 14:40 5085718 libcvc5-dev_1.1.2-1build1_amd64.deb 23-Dec-2024 14:57 84208 libcvc5parser1_1.1.2-1build1_amd64.deb 23-Dec-2024 18:36 209894 python3-cvc5_1.1.2-1build1_amd64.deb 23-Dec-2024 19:36 347334