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.6-2+b1_amd64.deb 17-Nov-2018 09:57 136244 cvc4_1.6-2+b1_i386.deb 17-Nov-2018 02:59 139464 cvc4_1.6-2.debian.tar.xz 13-Aug-2018 20:01 8232 cvc4_1.6-2.dsc 13-Aug-2018 20:01 2652 cvc4_1.6.orig.tar.gz 07-Aug-2018 19:44 7815893 cvc4_1.8-2.debian.tar.xz 18-Sep-2020 01:25 16456 cvc4_1.8-2.dsc 18-Sep-2020 01:25 2275 cvc4_1.8-2_amd64.deb 18-Sep-2020 02:11 81488 cvc4_1.8-2_arm64.deb 18-Sep-2020 02:27 76064 cvc4_1.8-2_i386.deb 18-Sep-2020 02:42 82548 cvc4_1.8-3+b3_amd64.deb 24-Mar-2024 10:12 82420 cvc4_1.8-3+b3_arm64.deb 24-Mar-2024 12:33 76460 cvc4_1.8-3+b3_i386.deb 24-Mar-2024 10:18 84256 cvc4_1.8-3.debian.tar.xz 29-Oct-2022 19:57 16728 cvc4_1.8-3.dsc 29-Oct-2022 19:57 2244 cvc4_1.8-3_amd64.deb 29-Oct-2022 21:29 80688 cvc4_1.8-3_arm64.deb 29-Oct-2022 21:47 75564 cvc4_1.8-3_i386.deb 29-Oct-2022 21:23 82652 cvc4_1.8.orig.tar.gz 13-Sep-2020 23:17 7547187 libcvc4-5_1.6-2+b1_amd64.deb 17-Nov-2018 09:57 4056556 libcvc4-5_1.6-2+b1_i386.deb 17-Nov-2018 02:59 4507864 libcvc4-7_1.8-2_amd64.deb 18-Sep-2020 02:11 5651716 libcvc4-7_1.8-2_arm64.deb 18-Sep-2020 02:27 4783836 libcvc4-7_1.8-2_i386.deb 18-Sep-2020 02:42 6152812 libcvc4-7_1.8-3+b3_amd64.deb 24-Mar-2024 10:12 5991868 libcvc4-7_1.8-3+b3_arm64.deb 24-Mar-2024 12:33 5070564 libcvc4-7_1.8-3+b3_i386.deb 24-Mar-2024 10:18 6701640 libcvc4-7_1.8-3_amd64.deb 29-Oct-2022 21:29 5936792 libcvc4-7_1.8-3_arm64.deb 29-Oct-2022 21:47 4997468 libcvc4-7_1.8-3_i386.deb 29-Oct-2022 21:23 6700704 libcvc4-dev_1.6-2+b1_amd64.deb 17-Nov-2018 09:57 6718020 libcvc4-dev_1.6-2+b1_i386.deb 17-Nov-2018 02:59 7208884 libcvc4-dev_1.8-2_amd64.deb 18-Sep-2020 02:11 131264 libcvc4-dev_1.8-2_arm64.deb 18-Sep-2020 02:27 131268 libcvc4-dev_1.8-2_i386.deb 18-Sep-2020 02:42 131252 libcvc4-dev_1.8-3+b3_amd64.deb 24-Mar-2024 10:12 131408 libcvc4-dev_1.8-3+b3_arm64.deb 24-Mar-2024 12:33 131400 libcvc4-dev_1.8-3+b3_i386.deb 24-Mar-2024 10:18 131360 libcvc4-dev_1.8-3_amd64.deb 29-Oct-2022 21:29 131112 libcvc4-dev_1.8-3_arm64.deb 29-Oct-2022 21:47 131120 libcvc4-dev_1.8-3_i386.deb 29-Oct-2022 21:23 131112 libcvc4parser5_1.6-2+b1_amd64.deb 17-Nov-2018 09:57 362516 libcvc4parser5_1.6-2+b1_i386.deb 17-Nov-2018 02:59 389524 libcvc4parser7_1.8-2_amd64.deb 18-Sep-2020 02:11 366212 libcvc4parser7_1.8-2_arm64.deb 18-Sep-2020 02:27 328200 libcvc4parser7_1.8-2_i386.deb 18-Sep-2020 02:42 382484 libcvc4parser7_1.8-3+b3_amd64.deb 24-Mar-2024 10:12 365528 libcvc4parser7_1.8-3+b3_arm64.deb 24-Mar-2024 12:33 321428 libcvc4parser7_1.8-3+b3_i386.deb 24-Mar-2024 10:18 393812 libcvc4parser7_1.8-3_amd64.deb 29-Oct-2022 21:29 362304 libcvc4parser7_1.8-3_arm64.deb 29-Oct-2022 21:47 322668 libcvc4parser7_1.8-3_i386.deb 29-Oct-2022 21:23 387704
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.