../ cvc5_1.0.3-1.debian.tar.xz 20-Dec-2022 03:26 5964 cvc5_1.0.3-1.dsc 20-Dec-2022 03:26 2305 cvc5_1.0.3-1_amd64.deb 20-Dec-2022 05:55 107900 cvc5_1.0.3.orig.tar.gz 20-Dec-2022 03:26 8335175 cvc5_1.1.2-2+b3_amd64.deb 09-Jan-2025 11:11 109176 cvc5_1.1.2-2.debian.tar.xz 19-Mar-2024 22:22 7396 cvc5_1.1.2-2.dsc 19-Mar-2024 22:22 2470 cvc5_1.1.2.orig.tar.gz 03-Mar-2024 02:53 8581968 cvc5_1.3.2-1.debian.tar.xz 24-Dec-2025 01:13 8532 cvc5_1.3.2-1.dsc 24-Dec-2025 01:13 2468 cvc5_1.3.2-1_amd64.deb 24-Dec-2025 01:49 143700 cvc5_1.3.2.orig.tar.gz 24-Dec-2025 01:13 9250970 libcvc5-1_1.0.3-1_amd64.deb 20-Dec-2022 05:55 5841260 libcvc5-1_1.1.2-2+b3_amd64.deb 09-Jan-2025 11:11 6682620 libcvc5-1_1.3.2-1_amd64.deb 24-Dec-2025 01:49 7725568 libcvc5-dev_1.0.3-1_amd64.deb 20-Dec-2022 05:55 58584 libcvc5-dev_1.1.2-2+b3_amd64.deb 09-Jan-2025 11:11 93296 libcvc5-dev_1.3.2-1_amd64.deb 24-Dec-2025 01:49 124012 libcvc5parser1_1.0.3-1_amd64.deb 20-Dec-2022 05:55 306872 libcvc5parser1_1.1.2-2+b3_amd64.deb 09-Jan-2025 11:11 236752 libcvc5parser1_1.3.2-1_amd64.deb 24-Dec-2025 01:49 273180 python3-cvc5_1.1.2-2+b3_amd64.deb 09-Jan-2025 11:11 339080 python3-cvc5_1.3.2-1_amd64.deb 24-Dec-2025 01:49 385008