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.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.19.1+dfsg-3build3.debian.tar.xz 07-Sep-2024 07:08 33012 coq_8.19.1+dfsg-3build3.dsc 07-Sep-2024 07:08 2572 coq_8.19.1+dfsg-3build3_amd64.deb 07-Sep-2024 07:09 100814158 coq_8.19.1+dfsg.orig.tar.bz2 02-May-2024 11:53 5589471 coq_8.20.0+dfsg-1.debian.tar.xz 20-Nov-2024 18:47 30196 coq_8.20.0+dfsg-1.dsc 20-Nov-2024 18:47 2570 coq_8.20.0+dfsg-1_amd64.deb 20-Nov-2024 18:48 90031288 coq_8.20.0+dfsg.orig.tar.xz 20-Nov-2024 18:47 5012820 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.18.0+dfsg-1build2_amd64.deb 31-Mar-2024 19:32 2349532 coqide_8.19.1+dfsg-3build3_amd64.deb 07-Sep-2024 07:09 2440934 coqide_8.20.0+dfsg-1_amd64.deb 20-Nov-2024 18:48 2182036 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.18.0+dfsg-1build2_amd64..> 31-Mar-2024 19:32 51407928 libcoq-core-ocaml-dev_8.19.1+dfsg-3build3_amd64..> 07-Sep-2024 07:09 68226738 libcoq-core-ocaml-dev_8.20.0+dfsg-1_amd64.deb 20-Nov-2024 18:48 70373970 libcoq-core-ocaml_8.15.0+dfsg-2_amd64.deb 05-Feb-2022 23:51 27070410 libcoq-core-ocaml_8.18.0+dfsg-1build2_amd64.deb 31-Mar-2024 19:32 27687350 libcoq-core-ocaml_8.19.1+dfsg-3build3_amd64.deb 07-Sep-2024 07:09 25963876 libcoq-core-ocaml_8.20.0+dfsg-1_amd64.deb 20-Nov-2024 18:48 26738710 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.18.0+dfsg-1build2_amd64.deb 31-Mar-2024 19:32 26511990 libcoq-stdlib_8.19.1+dfsg-3build3_amd64.deb 07-Sep-2024 07:09 27017214 libcoq-stdlib_8.20.0+dfsg-1_amd64.deb 20-Nov-2024 18:48 26981370
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.