../ cvc5_1.1.2-3.debian.tar.xz 27-Jul-2025 12:11 7392 cvc5_1.1.2-3.dsc 27-Jul-2025 12:11 2460 cvc5_1.1.2-3_amd64.deb 11-Aug-2025 13:32 107800 cvc5_1.1.2-3_arm64.deb 11-Aug-2025 13:44 97248 cvc5_1.1.2-3_armhf.deb 11-Aug-2025 13:39 100644 cvc5_1.1.2-3_i386.deb 11-Aug-2025 13:39 111452 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-1_arm64.deb 24-Dec-2025 01:54 128672 cvc5_1.3.2-1_armhf.deb 24-Dec-2025 01:54 132096 cvc5_1.3.2-1_i386.deb 24-Dec-2025 01:49 145288 cvc5_1.3.2.orig.tar.gz 24-Dec-2025 01:13 9250970 libcvc5-1_1.1.2-3_amd64.deb 11-Aug-2025 13:32 6691376 libcvc5-1_1.1.2-3_arm64.deb 11-Aug-2025 13:44 5714412 libcvc5-1_1.1.2-3_armhf.deb 11-Aug-2025 13:39 5695820 libcvc5-1_1.1.2-3_i386.deb 11-Aug-2025 13:39 7260884 libcvc5-1_1.3.2-1_amd64.deb 24-Dec-2025 01:49 7725568 libcvc5-1_1.3.2-1_arm64.deb 24-Dec-2025 01:54 6623380 libcvc5-1_1.3.2-1_armhf.deb 24-Dec-2025 01:54 6533108 libcvc5-1_1.3.2-1_i386.deb 24-Dec-2025 01:49 8371248 libcvc5-dev_1.1.2-3_amd64.deb 11-Aug-2025 13:32 93084 libcvc5-dev_1.1.2-3_arm64.deb 11-Aug-2025 13:44 93084 libcvc5-dev_1.1.2-3_armhf.deb 11-Aug-2025 13:39 93088 libcvc5-dev_1.1.2-3_i386.deb 11-Aug-2025 13:39 93088 libcvc5-dev_1.3.2-1_amd64.deb 24-Dec-2025 01:49 124012 libcvc5-dev_1.3.2-1_arm64.deb 24-Dec-2025 01:54 124008 libcvc5-dev_1.3.2-1_armhf.deb 24-Dec-2025 01:54 124012 libcvc5-dev_1.3.2-1_i386.deb 24-Dec-2025 01:49 124008 libcvc5parser1_1.1.2-3_amd64.deb 11-Aug-2025 13:32 237464 libcvc5parser1_1.1.2-3_arm64.deb 11-Aug-2025 13:44 208244 libcvc5parser1_1.1.2-3_armhf.deb 11-Aug-2025 13:39 208396 libcvc5parser1_1.1.2-3_i386.deb 11-Aug-2025 13:39 258976 libcvc5parser1_1.3.2-1_amd64.deb 24-Dec-2025 01:49 273180 libcvc5parser1_1.3.2-1_arm64.deb 24-Dec-2025 01:54 237412 libcvc5parser1_1.3.2-1_armhf.deb 24-Dec-2025 01:54 239136 libcvc5parser1_1.3.2-1_i386.deb 24-Dec-2025 01:49 293576 python3-cvc5_1.1.2-3_amd64.deb 11-Aug-2025 13:32 340568 python3-cvc5_1.1.2-3_arm64.deb 11-Aug-2025 13:44 297776 python3-cvc5_1.1.2-3_armhf.deb 11-Aug-2025 13:39 317100 python3-cvc5_1.1.2-3_i386.deb 11-Aug-2025 13:39 324596 python3-cvc5_1.3.2-1_amd64.deb 24-Dec-2025 01:49 385008 python3-cvc5_1.3.2-1_arm64.deb 24-Dec-2025 01:54 322688 python3-cvc5_1.3.2-1_armhf.deb 24-Dec-2025 01:54 352148 python3-cvc5_1.3.2-1_i386.deb 24-Dec-2025 01:49 374112