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.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+b4_amd64.deb 07-Apr-2025 16:25 82828 cvc4_1.8-3+b4_arm64.deb 08-Apr-2025 01:42 76652 cvc4_1.8-3+b4_i386.deb 07-Apr-2025 16:36 85028 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-4.debian.tar.xz 27-Jul-2025 14:17 17264 cvc4_1.8-4.dsc 27-Jul-2025 14:17 2231 cvc4_1.8-4_amd64.deb 11-Aug-2025 16:09 82424 cvc4_1.8-4_arm64.deb 11-Aug-2025 16:19 75848 cvc4_1.8-4_i386.deb 11-Aug-2025 16:04 84528 cvc4_1.8.orig.tar.gz 13-Sep-2020 23:17 7547187 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+b4_amd64.deb 07-Apr-2025 16:25 6616160 libcvc4-7_1.8-3+b4_arm64.deb 08-Apr-2025 01:42 5656244 libcvc4-7_1.8-3+b4_i386.deb 07-Apr-2025 16:36 7176192 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-7_1.8-4_amd64.deb 11-Aug-2025 16:09 6547176 libcvc4-7_1.8-4_arm64.deb 11-Aug-2025 16:19 5590484 libcvc4-7_1.8-4_i386.deb 11-Aug-2025 16:04 7133888 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+b4_amd64.deb 07-Apr-2025 16:25 131428 libcvc4-dev_1.8-3+b4_arm64.deb 08-Apr-2025 01:42 131416 libcvc4-dev_1.8-3+b4_i386.deb 07-Apr-2025 16:36 131408 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 libcvc4-dev_1.8-4_amd64.deb 11-Aug-2025 16:09 131156 libcvc4-dev_1.8-4_arm64.deb 11-Aug-2025 16:19 131156 libcvc4-dev_1.8-4_i386.deb 11-Aug-2025 16:04 131160 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+b4_amd64.deb 07-Apr-2025 16:25 382200 libcvc4parser7_1.8-3+b4_arm64.deb 08-Apr-2025 01:42 333588 libcvc4parser7_1.8-3+b4_i386.deb 07-Apr-2025 16:36 411984 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 libcvc4parser7_1.8-4_amd64.deb 11-Aug-2025 16:09 381836 libcvc4parser7_1.8-4_arm64.deb 11-Aug-2025 16:19 333744 libcvc4parser7_1.8-4_i386.deb 11-Aug-2025 16:04 411588
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.