Index of /pardus/pool/main/c/cvc4/
../
cvc4_1.6-2+b1_amd64.deb 25-Aug-2021 00:24 133K
cvc4_1.6-2+b1_i386.deb 24-Aug-2021 22:36 136K
cvc4_1.6-2.debian.tar.xz 25-Aug-2021 00:25 8232
cvc4_1.6-2.dsc 25-Aug-2021 00:25 2652
cvc4_1.6.orig.tar.gz 25-Aug-2021 00:25 7M
cvc4_1.8-2.debian.tar.xz 24-Aug-2021 20:29 16K
cvc4_1.8-2.dsc 24-Aug-2021 20:29 2275
cvc4_1.8-2_amd64.deb 24-Aug-2021 20:13 80K
cvc4_1.8-2_arm64.deb 24-Aug-2021 19:28 74K
cvc4_1.8-2_i386.deb 24-Aug-2021 20:56 81K
cvc4_1.8-3+b4_amd64.deb 13-Aug-2025 01:01 81K
cvc4_1.8-3+b4_arm64.deb 13-Aug-2025 03:30 75K
cvc4_1.8-3+b4_i386.deb 13-Aug-2025 05:22 83K
cvc4_1.8-3.debian.tar.xz 28-Nov-2022 18:48 16K
cvc4_1.8-3.dsc 28-Nov-2022 18:48 2244
cvc4_1.8-3_amd64.deb 28-Nov-2022 14:44 79K
cvc4_1.8-3_arm64.deb 28-Nov-2022 17:09 74K
cvc4_1.8-3_i386.deb 28-Nov-2022 18:22 81K
cvc4_1.8.orig.tar.gz 24-Aug-2021 20:29 7M
libcvc4-5_1.6-2+b1_amd64.deb 24-Aug-2021 23:15 4M
libcvc4-5_1.6-2+b1_i386.deb 25-Aug-2021 02:06 4M
libcvc4-7_1.8-2_amd64.deb 24-Aug-2021 19:13 5M
libcvc4-7_1.8-2_arm64.deb 24-Aug-2021 17:21 5M
libcvc4-7_1.8-2_i386.deb 24-Aug-2021 18:29 6M
libcvc4-7_1.8-3+b4_amd64.deb 12-Aug-2025 23:46 6M
libcvc4-7_1.8-3+b4_arm64.deb 13-Aug-2025 02:08 5M
libcvc4-7_1.8-3+b4_i386.deb 13-Aug-2025 00:56 7M
libcvc4-7_1.8-3_amd64.deb 28-Nov-2022 15:43 6M
libcvc4-7_1.8-3_arm64.deb 28-Nov-2022 15:33 5M
libcvc4-7_1.8-3_i386.deb 28-Nov-2022 17:25 6M
libcvc4-dev_1.6-2+b1_amd64.deb 25-Aug-2021 00:37 6M
libcvc4-dev_1.6-2+b1_i386.deb 25-Aug-2021 01:52 7M
libcvc4-dev_1.8-2_amd64.deb 24-Aug-2021 20:39 128K
libcvc4-dev_1.8-2_arm64.deb 24-Aug-2021 16:34 128K
libcvc4-dev_1.8-2_i386.deb 24-Aug-2021 19:47 128K
libcvc4-dev_1.8-3+b4_amd64.deb 13-Aug-2025 02:09 128K
libcvc4-dev_1.8-3+b4_arm64.deb 13-Aug-2025 03:49 128K
libcvc4-dev_1.8-3+b4_i386.deb 13-Aug-2025 00:50 128K
libcvc4-dev_1.8-3_amd64.deb 28-Nov-2022 16:54 128K
libcvc4-dev_1.8-3_arm64.deb 28-Nov-2022 18:22 128K
libcvc4-dev_1.8-3_i386.deb 28-Nov-2022 14:44 128K
libcvc4parser5_1.6-2+b1_amd64.deb 25-Aug-2021 00:17 354K
libcvc4parser5_1.6-2+b1_i386.deb 25-Aug-2021 02:27 380K
libcvc4parser7_1.8-2_amd64.deb 24-Aug-2021 16:31 358K
libcvc4parser7_1.8-2_arm64.deb 24-Aug-2021 19:05 321K
libcvc4parser7_1.8-2_i386.deb 24-Aug-2021 19:13 374K
libcvc4parser7_1.8-3+b4_amd64.deb 13-Aug-2025 04:23 373K
libcvc4parser7_1.8-3+b4_arm64.deb 13-Aug-2025 03:58 326K
libcvc4parser7_1.8-3+b4_i386.deb 13-Aug-2025 03:47 402K
libcvc4parser7_1.8-3_amd64.deb 28-Nov-2022 16:59 354K
libcvc4parser7_1.8-3_arm64.deb 28-Nov-2022 17:00 315K
libcvc4parser7_1.8-3_i386.deb 28-Nov-2022 16:42 379K