Index of /kali/pool/main/c/cvc5/
../
cvc5_1.3.2-1+b1_amd64.deb 23-Apr-2026 21:56 143304
cvc5_1.3.2-1+b1_arm64.deb 23-Apr-2026 20:01 128872
cvc5_1.3.2-1+b1_armhf.deb 23-Apr-2026 20:22 131864
cvc5_1.3.2-1+b1_i386.deb 23-Apr-2026 22:13 145696
cvc5_1.3.2-1.debian.tar.xz 24-Dec-2025 07:13 8532
cvc5_1.3.2-1.dsc 24-Dec-2025 07:13 2468
cvc5_1.3.2-1_amd64.deb 24-Dec-2025 07:49 143700
cvc5_1.3.2-1_arm64.deb 24-Dec-2025 07:54 128672
cvc5_1.3.2-1_armhf.deb 24-Dec-2025 07:54 132096
cvc5_1.3.2-1_i386.deb 24-Dec-2025 07:49 145288
cvc5_1.3.2.orig.tar.gz 24-Dec-2025 07:13 9250970
libcvc5-1_1.3.2-1+b1_amd64.deb 23-Apr-2026 21:56 7741008
libcvc5-1_1.3.2-1+b1_arm64.deb 23-Apr-2026 20:01 6637100
libcvc5-1_1.3.2-1+b1_armhf.deb 23-Apr-2026 20:22 6543792
libcvc5-1_1.3.2-1+b1_i386.deb 23-Apr-2026 22:13 8382268
libcvc5-1_1.3.2-1_amd64.deb 24-Dec-2025 07:49 7725568
libcvc5-1_1.3.2-1_arm64.deb 24-Dec-2025 07:54 6623380
libcvc5-1_1.3.2-1_armhf.deb 24-Dec-2025 07:54 6533108
libcvc5-1_1.3.2-1_i386.deb 24-Dec-2025 07:49 8371248
libcvc5-dev_1.3.2-1+b1_amd64.deb 23-Apr-2026 21:56 124284
libcvc5-dev_1.3.2-1+b1_arm64.deb 23-Apr-2026 20:01 124248
libcvc5-dev_1.3.2-1+b1_armhf.deb 23-Apr-2026 20:22 124240
libcvc5-dev_1.3.2-1+b1_i386.deb 23-Apr-2026 22:13 124244
libcvc5-dev_1.3.2-1_amd64.deb 24-Dec-2025 07:49 124012
libcvc5-dev_1.3.2-1_arm64.deb 24-Dec-2025 07:54 124008
libcvc5-dev_1.3.2-1_armhf.deb 24-Dec-2025 07:54 124012
libcvc5-dev_1.3.2-1_i386.deb 24-Dec-2025 07:49 124008
libcvc5parser1_1.3.2-1+b1_amd64.deb 23-Apr-2026 21:56 273048
libcvc5parser1_1.3.2-1+b1_arm64.deb 23-Apr-2026 20:01 237420
libcvc5parser1_1.3.2-1+b1_armhf.deb 23-Apr-2026 20:22 239208
libcvc5parser1_1.3.2-1+b1_i386.deb 23-Apr-2026 22:13 293852
libcvc5parser1_1.3.2-1_amd64.deb 24-Dec-2025 07:49 273180
libcvc5parser1_1.3.2-1_arm64.deb 24-Dec-2025 07:54 237412
libcvc5parser1_1.3.2-1_armhf.deb 24-Dec-2025 07:54 239136
libcvc5parser1_1.3.2-1_i386.deb 24-Dec-2025 07:49 293576
python3-cvc5_1.3.2-1+b1_amd64.deb 23-Apr-2026 21:56 386896
python3-cvc5_1.3.2-1+b1_arm64.deb 23-Apr-2026 20:01 323292
python3-cvc5_1.3.2-1+b1_armhf.deb 23-Apr-2026 20:22 352108
python3-cvc5_1.3.2-1+b1_i386.deb 23-Apr-2026 22:13 374144
python3-cvc5_1.3.2-1_amd64.deb 24-Dec-2025 07:49 385008
python3-cvc5_1.3.2-1_arm64.deb 24-Dec-2025 07:54 322688
python3-cvc5_1.3.2-1_armhf.deb 24-Dec-2025 07:54 352148
python3-cvc5_1.3.2-1_i386.deb 24-Dec-2025 07:49 374112