Index of /repos/pool/main/c/cvc4/
../
cvc4_1.6-2+b1_amd64.deb 22-Jan-2026 18:26 133K
cvc4_1.6-2+b1_i386.deb 22-Jan-2026 18:26 136K
cvc4_1.6-2.debian.tar.xz 22-Jan-2026 18:26 8232
cvc4_1.6-2.dsc 22-Jan-2026 18:26 2652
cvc4_1.6.orig.tar.gz 22-Jan-2026 18:26 7M
cvc4_1.8-2.debian.tar.xz 21-Jan-2026 12:28 16K
cvc4_1.8-2.dsc 21-Jan-2026 12:28 2275
cvc4_1.8-2_amd64.deb 21-Jan-2026 12:28 80K
cvc4_1.8-2_i386.deb 21-Jan-2026 12:28 81K
cvc4_1.8-3+b4_amd64.deb 18-Jan-2026 09:45 81K
cvc4_1.8-3+b4_i386.deb 18-Jan-2026 09:45 83K
cvc4_1.8-3.debian.tar.xz 18-Jan-2026 09:45 16K
cvc4_1.8-3.dsc 18-Jan-2026 09:45 2244
cvc4_1.8-3_amd64.deb 20-Jan-2026 02:34 79K
cvc4_1.8-3_i386.deb 20-Jan-2026 02:34 81K
cvc4_1.8.orig.tar.gz 18-Jan-2026 09:45 7M
libcvc4-5_1.6-2+b1_amd64.deb 22-Jan-2026 21:37 4M
libcvc4-5_1.6-2+b1_i386.deb 22-Jan-2026 21:37 4M
libcvc4-7_1.8-2_amd64.deb 21-Jan-2026 18:52 5M
libcvc4-7_1.8-2_i386.deb 21-Jan-2026 18:52 6M
libcvc4-7_1.8-3+b4_amd64.deb 18-Jan-2026 19:57 6M
libcvc4-7_1.8-3+b4_i386.deb 18-Jan-2026 19:57 7M
libcvc4-7_1.8-3_amd64.deb 20-Jan-2026 09:08 6M
libcvc4-7_1.8-3_i386.deb 20-Jan-2026 09:08 6M
libcvc4-dev_1.6-2+b1_amd64.deb 22-Jan-2026 21:37 6M
libcvc4-dev_1.6-2+b1_i386.deb 22-Jan-2026 21:37 7M
libcvc4-dev_1.8-2_amd64.deb 21-Jan-2026 18:52 128K
libcvc4-dev_1.8-2_i386.deb 21-Jan-2026 18:52 128K
libcvc4-dev_1.8-3+b4_amd64.deb 18-Jan-2026 19:57 128K
libcvc4-dev_1.8-3+b4_i386.deb 18-Jan-2026 19:57 128K
libcvc4-dev_1.8-3_amd64.deb 20-Jan-2026 09:08 128K
libcvc4-dev_1.8-3_i386.deb 20-Jan-2026 09:08 128K
libcvc4parser5_1.6-2+b1_amd64.deb 22-Jan-2026 21:37 354K
libcvc4parser5_1.6-2+b1_i386.deb 22-Jan-2026 21:37 380K
libcvc4parser7_1.8-2_amd64.deb 21-Jan-2026 18:52 358K
libcvc4parser7_1.8-2_i386.deb 21-Jan-2026 18:52 374K
libcvc4parser7_1.8-3+b4_amd64.deb 18-Jan-2026 19:57 373K
libcvc4parser7_1.8-3+b4_i386.deb 18-Jan-2026 19:57 402K
libcvc4parser7_1.8-3_amd64.deb 20-Jan-2026 09:08 354K
libcvc4parser7_1.8-3_i386.deb 20-Jan-2026 09:08 379K