Index of /pub/linux/kali/pool/main/c/cvc4
Name Last modified Size Description
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[ ]](/icons/compressed.gif)
cvc4_1.8.orig.tar.gz 2020-09-14 08:17 7.2M
![[ ]](/icons/unknown.gif)
libcvc4-7_1.8-4_i386.deb 2025-08-12 01:04 6.8M
libcvc4-7_1.8-4_amd64.deb 2025-08-12 01:09 6.2M
libcvc4-7_1.8-4_arm64.deb 2025-08-12 01:19 5.3M
libcvc4-7_1.8-4_armhf.deb 2025-08-12 01:09 5.3M
libcvc4parser7_1.8-4_i386.deb 2025-08-12 01:04 402K
libcvc4parser7_1.8-4_amd64.deb 2025-08-12 01:09 373K
libcvc4parser7_1.8-4_armhf.deb 2025-08-12 01:09 336K
libcvc4parser7_1.8-4_arm64.deb 2025-08-12 01:19 326K
libcvc4-dev_1.8-4_i386.deb 2025-08-12 01:04 128K
libcvc4-dev_1.8-4_armhf.deb 2025-08-12 01:09 128K
libcvc4-dev_1.8-4_arm64.deb 2025-08-12 01:19 128K
libcvc4-dev_1.8-4_amd64.deb 2025-08-12 01:09 128K
cvc4_1.8-4_i386.deb 2025-08-12 01:04 83K
cvc4_1.8-4_amd64.deb 2025-08-12 01:09 80K
cvc4_1.8-4_armhf.deb 2025-08-12 01:09 75K
cvc4_1.8-4_arm64.deb 2025-08-12 01:19 74K
cvc4_1.8-4.debian.tar.xz 2025-07-27 23:17 17K
![[TXT]](/icons/text.gif)
cvc4_1.8-4.dsc 2025-07-27 23:17 2.2K