Index of /kali/pool/main/c/cvc5/
../
cvc5_1.1.2-3.debian.tar.xz 27-Jul-2025 19:11 7392
cvc5_1.1.2-3.dsc 27-Jul-2025 19:11 2460
cvc5_1.1.2-3_amd64.deb 11-Aug-2025 20:32 107800
cvc5_1.1.2-3_arm64.deb 11-Aug-2025 20:44 97248
cvc5_1.1.2-3_armhf.deb 11-Aug-2025 20:39 100644
cvc5_1.1.2-3_i386.deb 11-Aug-2025 20:39 111452
cvc5_1.1.2.orig.tar.gz 03-Mar-2024 09:53 8581968
cvc5_1.3.2-1.debian.tar.xz 24-Dec-2025 08:13 8532
cvc5_1.3.2-1.dsc 24-Dec-2025 08:13 2468
cvc5_1.3.2-1_amd64.deb 24-Dec-2025 08:49 143700
cvc5_1.3.2-1_arm64.deb 24-Dec-2025 08:54 128672
cvc5_1.3.2-1_armhf.deb 24-Dec-2025 08:54 132096
cvc5_1.3.2-1_i386.deb 24-Dec-2025 08:49 145288
cvc5_1.3.2.orig.tar.gz 24-Dec-2025 08:13 9250970
libcvc5-1_1.1.2-3_amd64.deb 11-Aug-2025 20:32 6691376
libcvc5-1_1.1.2-3_arm64.deb 11-Aug-2025 20:44 5714412
libcvc5-1_1.1.2-3_armhf.deb 11-Aug-2025 20:39 5695820
libcvc5-1_1.1.2-3_i386.deb 11-Aug-2025 20:39 7260884
libcvc5-1_1.3.2-1_amd64.deb 24-Dec-2025 08:49 7725568
libcvc5-1_1.3.2-1_arm64.deb 24-Dec-2025 08:54 6623380
libcvc5-1_1.3.2-1_armhf.deb 24-Dec-2025 08:54 6533108
libcvc5-1_1.3.2-1_i386.deb 24-Dec-2025 08:49 8371248
libcvc5-dev_1.1.2-3_amd64.deb 11-Aug-2025 20:32 93084
libcvc5-dev_1.1.2-3_arm64.deb 11-Aug-2025 20:44 93084
libcvc5-dev_1.1.2-3_armhf.deb 11-Aug-2025 20:39 93088
libcvc5-dev_1.1.2-3_i386.deb 11-Aug-2025 20:39 93088
libcvc5-dev_1.3.2-1_amd64.deb 24-Dec-2025 08:49 124012
libcvc5-dev_1.3.2-1_arm64.deb 24-Dec-2025 08:54 124008
libcvc5-dev_1.3.2-1_armhf.deb 24-Dec-2025 08:54 124012
libcvc5-dev_1.3.2-1_i386.deb 24-Dec-2025 08:49 124008
libcvc5parser1_1.1.2-3_amd64.deb 11-Aug-2025 20:32 237464
libcvc5parser1_1.1.2-3_arm64.deb 11-Aug-2025 20:44 208244
libcvc5parser1_1.1.2-3_armhf.deb 11-Aug-2025 20:39 208396
libcvc5parser1_1.1.2-3_i386.deb 11-Aug-2025 20:39 258976
libcvc5parser1_1.3.2-1_amd64.deb 24-Dec-2025 08:49 273180
libcvc5parser1_1.3.2-1_arm64.deb 24-Dec-2025 08:54 237412
libcvc5parser1_1.3.2-1_armhf.deb 24-Dec-2025 08:54 239136
libcvc5parser1_1.3.2-1_i386.deb 24-Dec-2025 08:49 293576
python3-cvc5_1.1.2-3_amd64.deb 11-Aug-2025 20:32 340568
python3-cvc5_1.1.2-3_arm64.deb 11-Aug-2025 20:44 297776
python3-cvc5_1.1.2-3_armhf.deb 11-Aug-2025 20:39 317100
python3-cvc5_1.1.2-3_i386.deb 11-Aug-2025 20:39 324596
python3-cvc5_1.3.2-1_amd64.deb 24-Dec-2025 08:49 385008
python3-cvc5_1.3.2-1_arm64.deb 24-Dec-2025 08:54 322688
python3-cvc5_1.3.2-1_armhf.deb 24-Dec-2025 08:54 352148
python3-cvc5_1.3.2-1_i386.deb 24-Dec-2025 08:49 374112