Index of /repos/pool/main/c/cvc4/
../
cvc4_1.6-2+b1_amd64.deb 26-Sep-2025 08:38 133K
cvc4_1.6-2+b1_i386.deb 26-Sep-2025 08:38 136K
cvc4_1.6-2.debian.tar.xz 26-Sep-2025 08:38 8232
cvc4_1.6-2.dsc 26-Sep-2025 08:38 2652
cvc4_1.6.orig.tar.gz 26-Sep-2025 08:38 7M
cvc4_1.8-2.debian.tar.xz 27-Sep-2025 17:59 16K
cvc4_1.8-2.dsc 27-Sep-2025 17:59 2275
cvc4_1.8-2_amd64.deb 27-Sep-2025 17:59 80K
cvc4_1.8-2_i386.deb 27-Sep-2025 17:59 81K
cvc4_1.8-3+b4_amd64.deb 26-Sep-2025 20:26 81K
cvc4_1.8-3+b4_i386.deb 26-Sep-2025 20:26 83K
cvc4_1.8-3.debian.tar.xz 26-Sep-2025 20:26 16K
cvc4_1.8-3.dsc 26-Sep-2025 20:26 2244
cvc4_1.8-3_amd64.deb 27-Sep-2025 09:49 79K
cvc4_1.8-3_i386.deb 27-Sep-2025 09:49 81K
cvc4_1.8.orig.tar.gz 26-Sep-2025 20:27 7M
libcvc4-5_1.6-2+b1_amd64.deb 26-Sep-2025 11:04 4M
libcvc4-5_1.6-2+b1_i386.deb 26-Sep-2025 11:04 4M
libcvc4-7_1.8-2_amd64.deb 27-Sep-2025 19:43 5M
libcvc4-7_1.8-2_i386.deb 27-Sep-2025 19:43 6M
libcvc4-7_1.8-3+b4_amd64.deb 26-Sep-2025 23:45 6M
libcvc4-7_1.8-3+b4_i386.deb 26-Sep-2025 23:45 7M
libcvc4-7_1.8-3_amd64.deb 27-Sep-2025 11:37 6M
libcvc4-7_1.8-3_i386.deb 27-Sep-2025 11:37 6M
libcvc4-dev_1.6-2+b1_amd64.deb 26-Sep-2025 11:04 6M
libcvc4-dev_1.6-2+b1_i386.deb 26-Sep-2025 11:04 7M
libcvc4-dev_1.8-2_amd64.deb 27-Sep-2025 19:43 128K
libcvc4-dev_1.8-2_i386.deb 27-Sep-2025 19:43 128K
libcvc4-dev_1.8-3+b4_amd64.deb 26-Sep-2025 23:45 128K
libcvc4-dev_1.8-3+b4_i386.deb 26-Sep-2025 23:45 128K
libcvc4-dev_1.8-3_amd64.deb 27-Sep-2025 11:37 128K
libcvc4-dev_1.8-3_i386.deb 27-Sep-2025 11:37 128K
libcvc4parser5_1.6-2+b1_amd64.deb 26-Sep-2025 11:04 354K
libcvc4parser5_1.6-2+b1_i386.deb 26-Sep-2025 11:04 380K
libcvc4parser7_1.8-2_amd64.deb 27-Sep-2025 19:43 358K
libcvc4parser7_1.8-2_i386.deb 27-Sep-2025 19:43 374K
libcvc4parser7_1.8-3+b4_amd64.deb 26-Sep-2025 23:45 373K
libcvc4parser7_1.8-3+b4_i386.deb 26-Sep-2025 23:45 402K
libcvc4parser7_1.8-3_amd64.deb 27-Sep-2025 11:37 354K
libcvc4parser7_1.8-3_i386.deb 27-Sep-2025 11:37 379K