Index of /kali/pool/main/c/cvc5/
../
cvc5_1.3.2-1+b1_amd64.deb 23-Apr-2026 22:56 140K
cvc5_1.3.2-1+b1_arm64.deb 23-Apr-2026 21:01 126K
cvc5_1.3.2-1+b1_armhf.deb 23-Apr-2026 21:22 129K
cvc5_1.3.2-1+b1_i386.deb 23-Apr-2026 23:13 142K
cvc5_1.3.2-1.debian.tar.xz 24-Dec-2025 08:13 8532
cvc5_1.3.2-1.dsc 24-Dec-2025 08:13 2468
cvc5_1.3.2-1_amd64.deb 24-Dec-2025 08:49 140K
cvc5_1.3.2-1_arm64.deb 24-Dec-2025 08:54 126K
cvc5_1.3.2-1_armhf.deb 24-Dec-2025 08:54 129K
cvc5_1.3.2-1_i386.deb 24-Dec-2025 08:49 142K
cvc5_1.3.2.orig.tar.gz 24-Dec-2025 08:13 9M
libcvc5-1_1.3.2-1+b1_amd64.deb 23-Apr-2026 22:56 7M
libcvc5-1_1.3.2-1+b1_arm64.deb 23-Apr-2026 21:01 6M
libcvc5-1_1.3.2-1+b1_armhf.deb 23-Apr-2026 21:22 6M
libcvc5-1_1.3.2-1+b1_i386.deb 23-Apr-2026 23:13 8M
libcvc5-1_1.3.2-1_amd64.deb 24-Dec-2025 08:49 7M
libcvc5-1_1.3.2-1_arm64.deb 24-Dec-2025 08:54 6M
libcvc5-1_1.3.2-1_armhf.deb 24-Dec-2025 08:54 6M
libcvc5-1_1.3.2-1_i386.deb 24-Dec-2025 08:49 8M
libcvc5-dev_1.3.2-1+b1_amd64.deb 23-Apr-2026 22:56 121K
libcvc5-dev_1.3.2-1+b1_arm64.deb 23-Apr-2026 21:01 121K
libcvc5-dev_1.3.2-1+b1_armhf.deb 23-Apr-2026 21:22 121K
libcvc5-dev_1.3.2-1+b1_i386.deb 23-Apr-2026 23:13 121K
libcvc5-dev_1.3.2-1_amd64.deb 24-Dec-2025 08:49 121K
libcvc5-dev_1.3.2-1_arm64.deb 24-Dec-2025 08:54 121K
libcvc5-dev_1.3.2-1_armhf.deb 24-Dec-2025 08:54 121K
libcvc5-dev_1.3.2-1_i386.deb 24-Dec-2025 08:49 121K
libcvc5parser1_1.3.2-1+b1_amd64.deb 23-Apr-2026 22:56 267K
libcvc5parser1_1.3.2-1+b1_arm64.deb 23-Apr-2026 21:01 232K
libcvc5parser1_1.3.2-1+b1_armhf.deb 23-Apr-2026 21:22 234K
libcvc5parser1_1.3.2-1+b1_i386.deb 23-Apr-2026 23:13 287K
libcvc5parser1_1.3.2-1_amd64.deb 24-Dec-2025 08:49 267K
libcvc5parser1_1.3.2-1_arm64.deb 24-Dec-2025 08:54 232K
libcvc5parser1_1.3.2-1_armhf.deb 24-Dec-2025 08:54 234K
libcvc5parser1_1.3.2-1_i386.deb 24-Dec-2025 08:49 287K
python3-cvc5_1.3.2-1+b1_amd64.deb 23-Apr-2026 22:56 378K
python3-cvc5_1.3.2-1+b1_arm64.deb 23-Apr-2026 21:01 316K
python3-cvc5_1.3.2-1+b1_armhf.deb 23-Apr-2026 21:22 344K
python3-cvc5_1.3.2-1+b1_i386.deb 23-Apr-2026 23:13 365K
python3-cvc5_1.3.2-1_amd64.deb 24-Dec-2025 08:49 376K
python3-cvc5_1.3.2-1_arm64.deb 24-Dec-2025 08:54 315K
python3-cvc5_1.3.2-1_armhf.deb 24-Dec-2025 08:54 344K
python3-cvc5_1.3.2-1_i386.deb 24-Dec-2025 08:49 365K