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