The hardware and bandwidth for this mirror is donated by dogado GmbH, the Webhosting and Full Service-Cloud Provider. Check out our Wordpress Tutorial.
If you wish to report a bug, or if you are interested in having us mirror your free-software or open-source project, please feel free to contact us at mirror[@]dogado.de.

Index of /ubuntu/pool/universe/c/cvc4/

../
cvc4_1.5-1.debian.tar.xz                           01-Nov-2017 13:57                6012
cvc4_1.5-1.dsc                                     01-Nov-2017 13:57                2221
cvc4_1.5-1_amd64.deb                               03-Nov-2017 06:57              138624
cvc4_1.5-1_i386.deb                                03-Nov-2017 06:59              142804
cvc4_1.5.orig.tar.gz                               01-Nov-2017 13:57             7926116
cvc4_1.6-2build2.debian.tar.xz                     03-Feb-2020 22:24                8392
cvc4_1.6-2build2.dsc                               03-Feb-2020 22:24                2755
cvc4_1.6-2build2_amd64.deb                         03-Feb-2020 23:45              137732
cvc4_1.6.orig.tar.gz                               12-Aug-2018 05:13             7815893
cvc4_1.8-2.debian.tar.xz                           30-Sep-2020 15:43               16456
cvc4_1.8-2.dsc                                     30-Sep-2020 15:43                2275
cvc4_1.8-2_amd64.deb                               30-Sep-2020 16:28               73336
cvc4_1.8-3build2.debian.tar.xz                     31-Mar-2024 18:36               16876
cvc4_1.8-3build2.dsc                               31-Mar-2024 18:36                2363
cvc4_1.8-3build2_amd64.deb                         31-Mar-2024 20:36               75388
cvc4_1.8.orig.tar.gz                               30-Sep-2020 15:43             7547187
libcvc4-4_1.5-1_amd64.deb                          03-Nov-2017 06:57             3375660
libcvc4-4_1.5-1_i386.deb                           03-Nov-2017 06:59             3618828
libcvc4-5_1.6-2build2_amd64.deb                    03-Feb-2020 23:45             4512744
libcvc4-7_1.8-2_amd64.deb                          30-Sep-2020 16:28             5659900
libcvc4-7_1.8-3build2_amd64.deb                    31-Mar-2024 20:36             4734878
libcvc4-dev_1.5-1_amd64.deb                        03-Nov-2017 06:57             5968312
libcvc4-dev_1.5-1_i386.deb                         03-Nov-2017 06:59             6384320
libcvc4-dev_1.6-2build2_amd64.deb                  03-Feb-2020 23:45             7295824
libcvc4-dev_1.8-2_amd64.deb                        30-Sep-2020 16:28              123212
libcvc4-dev_1.8-3build2_amd64.deb                  31-Mar-2024 20:36              125256
libcvc4parser4_1.5-1_amd64.deb                     03-Nov-2017 06:57              363676
libcvc4parser4_1.5-1_i386.deb                      03-Nov-2017 06:59              390272
libcvc4parser5_1.6-2build2_amd64.deb               03-Feb-2020 23:45              364108
libcvc4parser7_1.8-2_amd64.deb                     30-Sep-2020 16:28              357524
libcvc4parser7_1.8-3build2_amd64.deb               31-Mar-2024 20:36              373822

These binaries (installable software) and packages are in development.
They may not be fully stable and should be used with caution. We make no claims about them.
Health stats visible at Monitor.