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