Index of /kali/pool/main/c/cvc5
Name Last modified Size Description
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[ ]](/icons/unknown.gif)
python3-cvc5_1.1.2-3_arm64.deb 2025-08-11 21:44 291K
libcvc5parser1_1.1.2-3_arm64.deb 2025-08-11 21:44 203K
libcvc5-dev_1.1.2-3_arm64.deb 2025-08-11 21:44 91K
libcvc5-1_1.1.2-3_arm64.deb 2025-08-11 21:44 5.4M
cvc5_1.1.2-3_arm64.deb 2025-08-11 21:44 95K
python3-cvc5_1.1.2-3_armhf.deb 2025-08-11 21:39 310K
libcvc5parser1_1.1.2-3_armhf.deb 2025-08-11 21:39 204K
libcvc5-dev_1.1.2-3_armhf.deb 2025-08-11 21:39 91K
libcvc5-1_1.1.2-3_armhf.deb 2025-08-11 21:39 5.4M
cvc5_1.1.2-3_armhf.deb 2025-08-11 21:39 98K
python3-cvc5_1.1.2-3_i386.deb 2025-08-11 21:39 317K
libcvc5parser1_1.1.2-3_i386.deb 2025-08-11 21:39 253K
libcvc5-dev_1.1.2-3_i386.deb 2025-08-11 21:39 91K
libcvc5-1_1.1.2-3_i386.deb 2025-08-11 21:39 6.9M
cvc5_1.1.2-3_i386.deb 2025-08-11 21:39 109K
python3-cvc5_1.1.2-3_amd64.deb 2025-08-11 21:32 333K
libcvc5parser1_1.1.2-3_amd64.deb 2025-08-11 21:32 232K
libcvc5-dev_1.1.2-3_amd64.deb 2025-08-11 21:32 91K
libcvc5-1_1.1.2-3_amd64.deb 2025-08-11 21:32 6.4M
cvc5_1.1.2-3_amd64.deb 2025-08-11 21:32 105K
![[TXT]](/icons/text.gif)
cvc5_1.1.2-3.dsc 2025-07-27 20:11 2.4K
cvc5_1.1.2-3.debian.tar.xz 2025-07-27 20:11 7.2K
![[ ]](/icons/compressed.gif)
cvc5_1.1.2.orig.tar.gz 2024-03-03 10:53 8.2M
Apache/2.4.65 (Debian) Server at mirror.freedif.org Port 443