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_amd64.deb 06-Mar-2020 08:38 33079952 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_amd64.deb 28-Oct-2017 15:34 33181580 coq-theories_8.6-5build1_i386.deb 28-Oct-2017 15:34 32170552 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_amd64.deb 06-Mar-2020 08:38 76583920 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_amd64.deb 05-Feb-2022 23:52 95393552 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_amd64.deb 16-Feb-2023 10:58 109392276 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_amd64.deb 24-Jul-2023 17:37 93056978 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_amd64.deb 31-Mar-2024 19:32 95929242 coq_8.18.0+dfsg.orig.tar.xz 22-Dec-2023 19:46 4868368 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_amd64.deb 19-Jan-2014 23:58 4040156 coq_8.4pl3dfsg-1_i386.deb 19-Jan-2014 23:58 3746098 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_amd64.deb 04-Nov-2015 14:04 3993698 coq_8.4pl4dfsg-3build2_i386.deb 04-Nov-2015 13:39 3746046 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_amd64.deb 28-Oct-2017 15:34 17673808 coq_8.6-5build1_i386.deb 28-Oct-2017 15:34 16948548 coq_8.6.orig.tar.gz 28-Dec-2016 17:13 5008604 coqide_8.11.0-1_amd64.deb 06-Mar-2020 08:38 1758824 coqide_8.15.0+dfsg-2_amd64.deb 05-Feb-2022 23:51 2387786 coqide_8.16.1+dfsg-1build2_amd64.deb 16-Feb-2023 10:58 2337278 coqide_8.17.0+dfsg-1build1_amd64.deb 24-Jul-2023 17:37 2331818 coqide_8.18.0+dfsg-1build2_amd64.deb 31-Mar-2024 19:32 2349532 coqide_8.4pl3dfsg-1_amd64.deb 19-Jan-2014 23:58 744612 coqide_8.4pl3dfsg-1_i386.deb 19-Jan-2014 23:58 677516 coqide_8.4pl4dfsg-3build2_amd64.deb 04-Nov-2015 14:04 748916 coqide_8.4pl4dfsg-3build2_i386.deb 04-Nov-2015 13:39 711626 coqide_8.6-5build1_amd64.deb 28-Oct-2017 15:34 1544828 coqide_8.6-5build1_i386.deb 28-Oct-2017 15:34 1388920 libcoq-core-ocaml-dev_8.15.0+dfsg-2_amd64.deb 05-Feb-2022 23:51 45035496 libcoq-core-ocaml-dev_8.16.1+dfsg-1build2_amd64..> 16-Feb-2023 10:58 49510518 libcoq-core-ocaml-dev_8.17.0+dfsg-1build1_amd64..> 24-Jul-2023 17:37 49902006 libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_amd64..> 31-Mar-2024 19:32 51407928 libcoq-core-ocaml_8.15.0+dfsg-2_amd64.deb 05-Feb-2022 23:51 27070410 libcoq-core-ocaml_8.16.1+dfsg-1build2_amd64.deb 16-Feb-2023 10:58 26911238 libcoq-core-ocaml_8.17.0+dfsg-1build1_amd64.deb 24-Jul-2023 17:37 27244212 libcoq-core-ocaml_8.18.0+dfsg-1build2_amd64.deb 31-Mar-2024 19:32 27687350 libcoq-ocaml-dev_8.11.0-1_amd64.deb 06-Mar-2020 08:38 16068892 libcoq-ocaml-dev_8.4pl3dfsg-1_amd64.deb 19-Jan-2014 23:58 3664528 libcoq-ocaml-dev_8.4pl3dfsg-1_i386.deb 19-Jan-2014 23:58 3649360 libcoq-ocaml-dev_8.4pl4dfsg-3build2_amd64.deb 04-Nov-2015 14:04 3670362 libcoq-ocaml-dev_8.4pl4dfsg-3build2_i386.deb 04-Nov-2015 13:39 3734144 libcoq-ocaml-dev_8.6-5build1_amd64.deb 28-Oct-2017 15:34 13815188 libcoq-ocaml-dev_8.6-5build1_i386.deb 28-Oct-2017 15:34 13796020 libcoq-ocaml_8.11.0-1_amd64.deb 06-Mar-2020 08:38 6324304 libcoq-ocaml_8.4pl3dfsg-1_amd64.deb 19-Jan-2014 23:58 1585458 libcoq-ocaml_8.4pl3dfsg-1_i386.deb 19-Jan-2014 23:58 1434144 libcoq-ocaml_8.4pl4dfsg-3build2_amd64.deb 04-Nov-2015 14:04 1503766 libcoq-ocaml_8.4pl4dfsg-3build2_i386.deb 04-Nov-2015 13:39 1392144 libcoq-ocaml_8.6-5build1_amd64.deb 28-Oct-2017 15:34 3564612 libcoq-ocaml_8.6-5build1_i386.deb 28-Oct-2017 15:34 3394144 libcoq-stdlib_8.15.0+dfsg-2_amd64.deb 05-Feb-2022 23:51 24695142 libcoq-stdlib_8.16.1+dfsg-1build2_amd64.deb 16-Feb-2023 10:58 24514276 libcoq-stdlib_8.17.0+dfsg-1build1_amd64.deb 24-Jul-2023 17:37 28438518 libcoq-stdlib_8.18.0+dfsg-1build2_amd64.deb 31-Mar-2024 19:32 26511990
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.