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.11.0-1_arm64.deb 06-Mar-2020 09:13 21416488 coq-theories_8.4pl3dfsg-1_all.deb 19-Jan-2014 23:58 31970270 coq-theories_8.4pl4dfsg-3build2_all.deb 04-Nov-2015 14:04 32236078 coq-theories_8.6-5build1_arm64.deb 28-Oct-2017 16:20 22801252 coq-theories_8.6-5build1_armhf.deb 28-Oct-2017 16:20 22822156 coq_8.11.0-1.debian.tar.xz 06-Mar-2020 07:53 31672 coq_8.11.0-1.dsc 06-Mar-2020 07:53 2496 coq_8.11.0-1_arm64.deb 06-Mar-2020 09:13 83935488 coq_8.11.0.orig.tar.gz 06-Mar-2020 07:53 5825620 coq_8.15.0+dfsg-2.debian.tar.xz 05-Feb-2022 17:49 39672 coq_8.15.0+dfsg-2.dsc 05-Feb-2022 17:49 2599 coq_8.15.0+dfsg-2_arm64.deb 06-Feb-2022 12:54 106715046 coq_8.15.0+dfsg-2_armhf.deb 05-Feb-2022 23:53 93249996 coq_8.15.0+dfsg.orig.tar.xz 17-Jan-2022 23:14 4669948 coq_8.16.1+dfsg-1build2.debian.tar.xz 16-Feb-2023 10:06 33316 coq_8.16.1+dfsg-1build2.dsc 16-Feb-2023 10:06 2628 coq_8.16.1+dfsg-1build2_arm64.deb 16-Feb-2023 10:58 122957300 coq_8.16.1+dfsg-1build2_armhf.deb 16-Feb-2023 10:58 106816930 coq_8.16.1+dfsg.orig.tar.xz 29-Nov-2022 17:24 4717668 coq_8.17.0+dfsg-1build1.debian.tar.xz 24-Jul-2023 17:37 33152 coq_8.17.0+dfsg-1build1.dsc 24-Jul-2023 17:37 2628 coq_8.17.0+dfsg-1build1_arm64.deb 24-Jul-2023 18:09 103461794 coq_8.17.0+dfsg-1build1_armhf.deb 24-Jul-2023 18:09 90921912 coq_8.17.0+dfsg.orig.tar.xz 12-Jun-2023 18:01 4773032 coq_8.18.0+dfsg-1build2.debian.tar.xz 31-Mar-2024 18:36 33336 coq_8.18.0+dfsg-1build2.dsc 31-Mar-2024 18:36 2685 coq_8.18.0+dfsg-1build2_arm64.deb 01-Apr-2024 01:55 106631086 coq_8.18.0+dfsg-1build2_armhf.deb 01-Apr-2024 01:55 93685498 coq_8.18.0+dfsg.orig.tar.xz 22-Dec-2023 19:46 4868368 coq_8.19.1+dfsg-2.debian.tar.xz 15-Jun-2024 11:18 32852 coq_8.19.1+dfsg-2.dsc 15-Jun-2024 11:18 2341 coq_8.19.1+dfsg-2_arm64.deb 15-Jun-2024 11:58 103911568 coq_8.19.1+dfsg-2_armhf.deb 15-Jun-2024 11:58 93501270 coq_8.19.1+dfsg.orig.tar.bz2 02-May-2024 11:53 5589471 coq_8.4pl3dfsg-1.debian.tar.xz 19-Jan-2014 23:18 15800 coq_8.4pl3dfsg-1.dsc 19-Jan-2014 23:18 2356 coq_8.4pl3dfsg-1_arm64.deb 20-Jan-2014 03:43 1108992 coq_8.4pl3dfsg-1_armhf.deb 20-Jan-2014 01:03 3894262 coq_8.4pl3dfsg.orig.tar.gz 19-Jan-2014 23:18 3521338 coq_8.4pl4dfsg-3build2.debian.tar.xz 04-Nov-2015 13:14 16144 coq_8.4pl4dfsg-3build2.dsc 04-Nov-2015 13:14 2398 coq_8.4pl4dfsg-3build2_arm64.deb 04-Nov-2015 14:29 3897182 coq_8.4pl4dfsg-3build2_armhf.deb 04-Nov-2015 14:55 3808808 coq_8.4pl4dfsg.orig.tar.gz 27-Jul-2014 23:13 3527076 coq_8.6-5build1.debian.tar.xz 28-Oct-2017 14:39 21864 coq_8.6-5build1.dsc 28-Oct-2017 14:39 2403 coq_8.6-5build1_arm64.deb 28-Oct-2017 16:20 18867112 coq_8.6-5build1_armhf.deb 28-Oct-2017 16:20 16999728 coq_8.6.orig.tar.gz 28-Dec-2016 17:13 5008604 coqide_8.11.0-1_arm64.deb 06-Mar-2020 09:13 2113388 coqide_8.15.0+dfsg-2_arm64.deb 06-Feb-2022 12:54 2877382 coqide_8.15.0+dfsg-2_armhf.deb 05-Feb-2022 23:53 2183944 coqide_8.16.1+dfsg-1build2_arm64.deb 16-Feb-2023 10:58 2793860 coqide_8.16.1+dfsg-1build2_armhf.deb 16-Feb-2023 10:58 2169538 coqide_8.17.0+dfsg-1build1_arm64.deb 24-Jul-2023 18:09 2782874 coqide_8.17.0+dfsg-1build1_armhf.deb 24-Jul-2023 18:09 2167034 coqide_8.18.0+dfsg-1build2_arm64.deb 01-Apr-2024 01:55 2820174 coqide_8.18.0+dfsg-1build2_armhf.deb 01-Apr-2024 01:55 2177524 coqide_8.19.1+dfsg-2_arm64.deb 15-Jun-2024 11:58 2746294 coqide_8.19.1+dfsg-2_armhf.deb 15-Jun-2024 11:58 2149972 coqide_8.4pl3dfsg-1_arm64.deb 20-Jan-2014 03:43 203096 coqide_8.4pl3dfsg-1_armhf.deb 20-Jan-2014 01:03 775756 coqide_8.4pl4dfsg-3build2_arm64.deb 04-Nov-2015 14:29 771968 coqide_8.4pl4dfsg-3build2_armhf.deb 04-Nov-2015 14:55 780854 coqide_8.6-5build1_arm64.deb 28-Oct-2017 16:20 1701988 coqide_8.6-5build1_armhf.deb 28-Oct-2017 16:20 1445016 libcoq-core-ocaml-dev_8.15.0+dfsg-2_arm64.deb 06-Feb-2022 12:53 45581026 libcoq-core-ocaml-dev_8.15.0+dfsg-2_armhf.deb 05-Feb-2022 23:53 45889474 libcoq-core-ocaml-dev_8.16.1+dfsg-1build2_arm64..> 16-Feb-2023 10:58 49844366 libcoq-core-ocaml-dev_8.16.1+dfsg-1build2_armhf..> 16-Feb-2023 10:58 49984248 libcoq-core-ocaml-dev_8.17.0+dfsg-1build1_arm64..> 24-Jul-2023 18:09 50304582 libcoq-core-ocaml-dev_8.17.0+dfsg-1build1_armhf..> 24-Jul-2023 18:09 50404476 libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_arm64..> 01-Apr-2024 01:55 51860872 libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_armhf..> 01-Apr-2024 01:55 51976842 libcoq-core-ocaml-dev_8.19.1+dfsg-2_arm64.deb 15-Jun-2024 11:58 52282766 libcoq-core-ocaml-dev_8.19.1+dfsg-2_armhf.deb 15-Jun-2024 11:58 52788802 libcoq-core-ocaml_8.15.0+dfsg-2_arm64.deb 06-Feb-2022 12:53 28397634 libcoq-core-ocaml_8.15.0+dfsg-2_armhf.deb 05-Feb-2022 23:53 26956106 libcoq-core-ocaml_8.16.1+dfsg-1build2_arm64.deb 16-Feb-2023 10:58 28352068 libcoq-core-ocaml_8.16.1+dfsg-1build2_armhf.deb 16-Feb-2023 10:58 26738238 libcoq-core-ocaml_8.17.0+dfsg-1build1_arm64.deb 24-Jul-2023 18:09 28644680 libcoq-core-ocaml_8.17.0+dfsg-1build1_armhf.deb 24-Jul-2023 18:09 27052822 libcoq-core-ocaml_8.18.0+dfsg-1build2_arm64.deb 01-Apr-2024 01:55 29203264 libcoq-core-ocaml_8.18.0+dfsg-1build2_armhf.deb 01-Apr-2024 01:55 27547398 libcoq-core-ocaml_8.19.1+dfsg-2_arm64.deb 15-Jun-2024 11:58 28554722 libcoq-core-ocaml_8.19.1+dfsg-2_armhf.deb 15-Jun-2024 11:58 27296088 libcoq-ocaml-dev_8.11.0-1_arm64.deb 06-Mar-2020 09:13 16432568 libcoq-ocaml-dev_8.4pl3dfsg-1_arm64.deb 20-Jan-2014 03:43 1246944 libcoq-ocaml-dev_8.4pl3dfsg-1_armhf.deb 20-Jan-2014 01:03 4028574 libcoq-ocaml-dev_8.4pl4dfsg-3build2_arm64.deb 04-Nov-2015 14:29 3911576 libcoq-ocaml-dev_8.4pl4dfsg-3build2_armhf.deb 04-Nov-2015 14:55 4161480 libcoq-ocaml-dev_8.6-5build1_arm64.deb 28-Oct-2017 16:20 14025668 libcoq-ocaml-dev_8.6-5build1_armhf.deb 28-Oct-2017 16:20 14313492 libcoq-ocaml_8.11.0-1_arm64.deb 06-Mar-2020 09:13 6816804 libcoq-ocaml_8.4pl3dfsg-1_arm64.deb 20-Jan-2014 03:43 330196 libcoq-ocaml_8.4pl3dfsg-1_armhf.deb 20-Jan-2014 01:03 1527672 libcoq-ocaml_8.4pl4dfsg-3build2_arm64.deb 04-Nov-2015 14:29 1404704 libcoq-ocaml_8.4pl4dfsg-3build2_armhf.deb 04-Nov-2015 14:55 1468522 libcoq-ocaml_8.6-5build1_arm64.deb 28-Oct-2017 16:20 3798220 libcoq-ocaml_8.6-5build1_armhf.deb 28-Oct-2017 16:20 3498152 libcoq-stdlib_8.15.0+dfsg-2_arm64.deb 06-Feb-2022 12:54 24696054 libcoq-stdlib_8.15.0+dfsg-2_armhf.deb 05-Feb-2022 23:53 24699490 libcoq-stdlib_8.16.1+dfsg-1build2_arm64.deb 16-Feb-2023 10:58 24519442 libcoq-stdlib_8.16.1+dfsg-1build2_armhf.deb 16-Feb-2023 10:58 24511244 libcoq-stdlib_8.17.0+dfsg-1build1_arm64.deb 24-Jul-2023 18:09 28440368 libcoq-stdlib_8.17.0+dfsg-1build1_armhf.deb 24-Jul-2023 18:09 28440010 libcoq-stdlib_8.18.0+dfsg-1build2_arm64.deb 01-Apr-2024 01:55 26512160 libcoq-stdlib_8.18.0+dfsg-1build2_armhf.deb 01-Apr-2024 01:55 26507848 libcoq-stdlib_8.19.1+dfsg-2_arm64.deb 15-Jun-2024 11:58 27014754 libcoq-stdlib_8.19.1+dfsg-2_armhf.deb 15-Jun-2024 11:58 27008358
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.