Welcome to NYCU CSIT Mirror site
Index of /kali/pool/main/c/cvc5/
Index of /kali/pool/main/c/cvc5/
../
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.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.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.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.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