Index of /kali/pool/main/c/cvc4
Name Last modified Size Description
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[ ]](/icons/unknown.gif)
cvc4_1.8-5.debian.tar.xz 2025-10-27 11:28 17K
![[TXT]](/icons/text.gif)
cvc4_1.8-5.dsc 2025-10-27 11:28 1.8K
cvc4_1.8-5_amd64.deb 2025-10-27 11:59 79K
cvc4_1.8-5_arm64.deb 2025-10-27 11:59 73K
cvc4_1.8-5_armhf.deb 2025-10-27 11:59 73K
cvc4_1.8-5_i386.deb 2025-10-27 12:04 81K
![[ ]](/icons/compressed.gif)
cvc4_1.8.orig.tar.gz 2020-09-14 01:17 7.2M
libcvc4-7_1.8-5_amd64.deb 2025-10-27 11:59 6.2M
libcvc4-7_1.8-5_arm64.deb 2025-10-27 11:59 5.3M
libcvc4-7_1.8-5_armhf.deb 2025-10-27 11:59 5.3M
libcvc4-7_1.8-5_i386.deb 2025-10-27 12:04 6.6M
libcvc4-dev_1.8-5_amd64.deb 2025-10-27 11:59 128K
libcvc4-dev_1.8-5_arm64.deb 2025-10-27 11:59 128K
libcvc4-dev_1.8-5_armhf.deb 2025-10-27 11:59 128K
libcvc4-dev_1.8-5_i386.deb 2025-10-27 12:04 128K
libcvc4parser7_1.8-5_amd64.deb 2025-10-27 11:59 376K
libcvc4parser7_1.8-5_arm64.deb 2025-10-27 11:59 331K
libcvc4parser7_1.8-5_armhf.deb 2025-10-27 11:59 342K
libcvc4parser7_1.8-5_i386.deb 2025-10-27 12:04 404K