Index of /kali/pool/main/c/cvc4/
../
cvc4_1.8-5+b1_amd64.deb 23-Apr-2026 15:35 80352
cvc4_1.8-5+b1_arm64.deb 23-Apr-2026 13:45 74348
cvc4_1.8-5+b1_armhf.deb 23-Apr-2026 14:06 74852
cvc4_1.8-5+b1_i386.deb 23-Apr-2026 15:51 82516
cvc4_1.8-5.debian.tar.xz 27-Oct-2025 09:28 17608
cvc4_1.8-5.dsc 27-Oct-2025 09:28 1861
cvc4_1.8-5_amd64.deb 27-Oct-2025 09:59 80784
cvc4_1.8-5_arm64.deb 27-Oct-2025 09:59 74376
cvc4_1.8-5_armhf.deb 27-Oct-2025 09:59 74828
cvc4_1.8-5_i386.deb 27-Oct-2025 10:04 82752
cvc4_1.8.orig.tar.gz 13-Sep-2020 23:17 7547187
libcvc4-7_1.8-5+b1_amd64.deb 23-Apr-2026 15:35 6498200
libcvc4-7_1.8-5+b1_arm64.deb 23-Apr-2026 13:45 5549964
libcvc4-7_1.8-5+b1_armhf.deb 23-Apr-2026 14:06 5571652
libcvc4-7_1.8-5+b1_i386.deb 23-Apr-2026 15:51 6931004
libcvc4-7_1.8-5_amd64.deb 27-Oct-2025 09:59 6491580
libcvc4-7_1.8-5_arm64.deb 27-Oct-2025 09:59 5544220
libcvc4-7_1.8-5_armhf.deb 27-Oct-2025 09:59 5565956
libcvc4-7_1.8-5_i386.deb 27-Oct-2025 10:04 6931028
libcvc4-dev_1.8-5+b1_amd64.deb 23-Apr-2026 15:35 131080
libcvc4-dev_1.8-5+b1_arm64.deb 23-Apr-2026 13:45 131048
libcvc4-dev_1.8-5+b1_armhf.deb 23-Apr-2026 14:06 131036
libcvc4-dev_1.8-5+b1_i386.deb 23-Apr-2026 15:51 131024
libcvc4-dev_1.8-5_amd64.deb 27-Oct-2025 09:59 131292
libcvc4-dev_1.8-5_arm64.deb 27-Oct-2025 09:59 131296
libcvc4-dev_1.8-5_armhf.deb 27-Oct-2025 09:59 131300
libcvc4-dev_1.8-5_i386.deb 27-Oct-2025 10:04 131300
libcvc4parser7_1.8-5+b1_amd64.deb 23-Apr-2026 15:35 384736
libcvc4parser7_1.8-5+b1_arm64.deb 23-Apr-2026 13:45 338580
libcvc4parser7_1.8-5+b1_armhf.deb 23-Apr-2026 14:06 350524
libcvc4parser7_1.8-5+b1_i386.deb 23-Apr-2026 15:51 412812
libcvc4parser7_1.8-5_amd64.deb 27-Oct-2025 09:59 385420
libcvc4parser7_1.8-5_arm64.deb 27-Oct-2025 09:59 339240
libcvc4parser7_1.8-5_armhf.deb 27-Oct-2025 09:59 350388
libcvc4parser7_1.8-5_i386.deb 27-Oct-2025 10:04 413520