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