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