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.
../ 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-3.debian.tar.xz 06-Nov-2022 03:17 16728 cvc4_1.8-3.dsc 06-Nov-2022 03:17 2244 cvc4_1.8-3_amd64.deb 06-Nov-2022 03:21 74530 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-3_amd64.deb 06-Nov-2022 03:21 4765516 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-3_amd64.deb 06-Nov-2022 03:21 125216 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-3_amd64.deb 06-Nov-2022 03:21 379068 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.