../ cvc5_1.1.2-1build1.debian.tar.xz 05-Apr-2024 04:36 6576 cvc5_1.1.2-1build1.dsc 05-Apr-2024 04:36 2589 cvc5_1.1.2-1build1_amd64.deb 05-Apr-2024 04:36 95604 cvc5_1.1.2.orig.tar.gz 08-Mar-2024 09:52 8581968 libcvc5-1_1.1.2-1build1_amd64.deb 05-Apr-2024 04:36 5085718 libcvc5-dev_1.1.2-1build1_amd64.deb 05-Apr-2024 04:36 84208 libcvc5parser1_1.1.2-1build1_amd64.deb 05-Apr-2024 04:36 209894 python3-cvc5_1.1.2-1build1_amd64.deb 05-Apr-2024 04:36 347334