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.
../ coq-theories_8.12.0-3+b3_amd64.deb 25-Nov-2020 07:28 36501836 coq-theories_8.12.0-3+b3_arm64.deb 25-Nov-2020 07:58 23925860 coq-theories_8.12.0-3+b3_i386.deb 25-Nov-2020 07:18 35237680 coq_8.12.0-3+b3_amd64.deb 25-Nov-2020 07:28 90453192 coq_8.12.0-3+b3_arm64.deb 25-Nov-2020 07:58 96071892 coq_8.12.0-3+b3_i386.deb 25-Nov-2020 07:18 87886220 coq_8.12.0-3.debian.tar.xz 10-Sep-2020 06:38 37772 coq_8.12.0-3.dsc 10-Sep-2020 06:38 2483 coq_8.12.0.orig.tar.gz 22-Aug-2020 09:26 6008211 coq_8.16.1+dfsg-1+b2_amd64.deb 13-Feb-2023 01:14 93212572 coq_8.16.1+dfsg-1+b2_arm64.deb 13-Feb-2023 01:55 102168100 coq_8.16.1+dfsg-1+b2_i386.deb 13-Feb-2023 01:29 87517396 coq_8.16.1+dfsg-1.debian.tar.xz 29-Nov-2022 08:35 33236 coq_8.16.1+dfsg-1.dsc 29-Nov-2022 08:35 2629 coq_8.16.1+dfsg.orig.tar.xz 29-Nov-2022 08:35 4717668 coq_8.20.1+dfsg-1+b1_amd64.deb 15-Jun-2025 01:07 70222224 coq_8.20.1+dfsg-1+b1_arm64.deb 15-Jun-2025 05:17 74446016 coq_8.20.1+dfsg-1+b4_amd64.deb 19-Jun-2026 05:42 71111940 coq_8.20.1+dfsg-1+b5_arm64.deb 19-Jun-2026 06:35 74871048 coq_8.20.1+dfsg-1.debian.tar.xz 17-Feb-2025 16:37 30208 coq_8.20.1+dfsg-1.dsc 17-Feb-2025 16:37 2582 coq_8.20.1+dfsg.orig.tar.xz 17-Feb-2025 16:37 5014988 coq_9.2.0+dfsg-3+b1_amd64.deb 27-Jul-2026 19:33 41288728 coq_9.2.0+dfsg-3.debian.tar.xz 27-Jul-2026 14:12 28280 coq_9.2.0+dfsg-3.dsc 27-Jul-2026 14:12 2479 coq_9.2.0+dfsg-3_arm64.deb 27-Jul-2026 14:58 44574372 coq_9.2.0+dfsg-3_i386.deb 27-Jul-2026 14:53 24355396 coq_9.2.0+dfsg.orig.tar.xz 10-Jul-2026 08:36 3946088 coqide_8.12.0-3+b3_amd64.deb 25-Nov-2020 07:28 1879212 coqide_8.12.0-3+b3_arm64.deb 25-Nov-2020 07:58 2170596 coqide_8.12.0-3+b3_i386.deb 25-Nov-2020 07:18 1723020 coqide_8.16.1+dfsg-1+b2_amd64.deb 13-Feb-2023 01:14 1993412 coqide_8.16.1+dfsg-1+b2_arm64.deb 13-Feb-2023 01:55 2310756 coqide_8.16.1+dfsg-1+b2_i386.deb 13-Feb-2023 01:29 1806236 coqide_8.20.1+dfsg-1+b1_amd64.deb 15-Jun-2025 01:07 1930360 coqide_8.20.1+dfsg-1+b1_arm64.deb 15-Jun-2025 05:17 2246476 coqide_8.20.1+dfsg-1+b4_amd64.deb 19-Jun-2026 05:42 1936232 coqide_8.20.1+dfsg-1+b5_arm64.deb 19-Jun-2026 06:35 2252096 libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_amd64.deb 13-Feb-2023 01:14 42725424 libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_arm64.deb 13-Feb-2023 01:55 42825080 libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_i386.deb 13-Feb-2023 01:29 42449528 libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_amd64.deb 15-Jun-2025 01:07 68700208 libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_arm64.deb 15-Jun-2025 05:17 68569160 libcoq-core-ocaml-dev_8.20.1+dfsg-1+b4_amd64.deb 19-Jun-2026 05:42 52003544 libcoq-core-ocaml-dev_8.20.1+dfsg-1+b5_arm64.deb 19-Jun-2026 06:35 52339052 libcoq-core-ocaml-dev_9.2.0+dfsg-3+b1_amd64.deb 27-Jul-2026 19:33 55699820 libcoq-core-ocaml-dev_9.2.0+dfsg-3_arm64.deb 27-Jul-2026 14:58 56121148 libcoq-core-ocaml-dev_9.2.0+dfsg-3_i386.deb 27-Jul-2026 14:53 46592644 libcoq-core-ocaml_8.16.1+dfsg-1+b2_amd64.deb 13-Feb-2023 01:14 22556068 libcoq-core-ocaml_8.16.1+dfsg-1+b2_arm64.deb 13-Feb-2023 01:55 23093000 libcoq-core-ocaml_8.16.1+dfsg-1+b2_i386.deb 13-Feb-2023 01:29 21747176 libcoq-core-ocaml_8.20.1+dfsg-1+b1_amd64.deb 15-Jun-2025 01:07 25955760 libcoq-core-ocaml_8.20.1+dfsg-1+b1_arm64.deb 15-Jun-2025 05:17 26387968 libcoq-core-ocaml_8.20.1+dfsg-1+b4_amd64.deb 19-Jun-2026 05:42 24203864 libcoq-core-ocaml_8.20.1+dfsg-1+b5_arm64.deb 19-Jun-2026 06:35 24620816 libcoq-core-ocaml_9.2.0+dfsg-3+b1_amd64.deb 27-Jul-2026 19:33 25791508 libcoq-core-ocaml_9.2.0+dfsg-3_arm64.deb 27-Jul-2026 14:58 26297080 libcoq-core-ocaml_9.2.0+dfsg-3_i386.deb 27-Jul-2026 14:53 18080772 libcoq-core_9.2.0+dfsg-3+b1_amd64.deb 27-Jul-2026 19:33 1154548 libcoq-core_9.2.0+dfsg-3_arm64.deb 27-Jul-2026 14:58 1151768 libcoq-core_9.2.0+dfsg-3_i386.deb 27-Jul-2026 14:53 1153628 libcoq-ocaml-dev_8.12.0-3+b3_amd64.deb 25-Nov-2020 07:28 18727404 libcoq-ocaml-dev_8.12.0-3+b3_arm64.deb 25-Nov-2020 07:58 18726796 libcoq-ocaml-dev_8.12.0-3+b3_i386.deb 25-Nov-2020 07:18 18658564 libcoq-ocaml_8.12.0-3+b3_amd64.deb 25-Nov-2020 07:28 7758156 libcoq-ocaml_8.12.0-3+b3_arm64.deb 25-Nov-2020 07:58 7980456 libcoq-ocaml_8.12.0-3+b3_i386.deb 25-Nov-2020 07:18 7575772 libcoq-stdlib_8.16.1+dfsg-1+b2_amd64.deb 13-Feb-2023 01:14 21526056 libcoq-stdlib_8.16.1+dfsg-1+b2_arm64.deb 13-Feb-2023 01:55 21528036 libcoq-stdlib_8.16.1+dfsg-1+b2_i386.deb 13-Feb-2023 01:29 21528432 libcoq-stdlib_8.20.1+dfsg-1+b1_amd64.deb 15-Jun-2025 01:07 23527164 libcoq-stdlib_8.20.1+dfsg-1+b1_arm64.deb 15-Jun-2025 05:17 23531376 libcoq-stdlib_8.20.1+dfsg-1+b4_amd64.deb 19-Jun-2026 05:42 23525832 libcoq-stdlib_8.20.1+dfsg-1+b5_arm64.deb 19-Jun-2026 06:35 23525580 rocqide_9.2.0+dfsg-3+b1_amd64.deb 27-Jul-2026 19:33 1951308 rocqide_9.2.0+dfsg-3_arm64.deb 27-Jul-2026 14:58 2251096 rocqide_9.2.0+dfsg-3_i386.deb 27-Jul-2026 14:53 637460
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.