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-doc-html_8.15.0-3_all.deb 17-Mar-2022 09:15 1343072 coq-doc-html_8.16.1-1_all.deb 10-Dec-2022 05:34 1480428 coq-doc-html_8.18.0-1_all.deb 02-Apr-2024 22:05 1548520 coq-doc-html_8.19.1-2_all.deb 18-Jun-2024 23:39 1565862 coq-doc-html_8.4pl2-1_all.deb 13-Dec-2013 23:53 413392 coq-doc-html_8.4pl4-2_all.deb 12-Feb-2016 06:45 415730 coq-doc-html_8.6-1_all.deb 14-Jul-2017 12:16 462740 coq-doc-pdf_8.15.0-3_all.deb 17-Mar-2022 09:15 4062240 coq-doc-pdf_8.16.1-1_all.deb 10-Dec-2022 05:34 4333476 coq-doc-pdf_8.18.0-1_all.deb 02-Apr-2024 22:05 4732100 coq-doc-pdf_8.19.1-2_all.deb 18-Jun-2024 23:39 4831738 coq-doc-pdf_8.4pl2-1_all.deb 13-Dec-2013 23:53 2421008 coq-doc-pdf_8.4pl4-2_all.deb 12-Feb-2016 06:45 2423032 coq-doc-pdf_8.6-1_all.deb 14-Jul-2017 12:17 2534360 coq-doc_8.15.0-3.debian.tar.xz 22-Feb-2022 23:24 7600 coq-doc_8.15.0-3.dsc 22-Feb-2022 23:24 2554 coq-doc_8.15.0-3_all.deb 17-Mar-2022 09:15 4012 coq-doc_8.15.0.orig.tar.gz 09-Feb-2022 05:35 7215106 coq-doc_8.16.1-1.debian.tar.xz 10-Dec-2022 05:34 7820 coq-doc_8.16.1-1.dsc 10-Dec-2022 05:34 2626 coq-doc_8.16.1-1_all.deb 10-Dec-2022 05:34 4000 coq-doc_8.16.1.orig.tar.gz 10-Dec-2022 05:34 7401345 coq-doc_8.18.0-1.debian.tar.xz 25-Jan-2024 23:15 8064 coq-doc_8.18.0-1.dsc 25-Jan-2024 23:15 2560 coq-doc_8.18.0-1_all.deb 02-Apr-2024 22:05 4020 coq-doc_8.18.0.orig.tar.gz 25-Jan-2024 23:15 7612742 coq-doc_8.19.1-2.debian.tar.xz 18-Jun-2024 23:39 8128 coq-doc_8.19.1-2.dsc 18-Jun-2024 23:39 2328 coq-doc_8.19.1-2_all.deb 18-Jun-2024 23:39 4022 coq-doc_8.19.1.orig.tar.gz 02-May-2024 11:53 7675945 coq-doc_8.4pl2-1.debian.tar.gz 13-Dec-2013 23:13 8729 coq-doc_8.4pl2-1.dsc 13-Dec-2013 23:13 2237 coq-doc_8.4pl2-1_all.deb 13-Dec-2013 23:53 4456 coq-doc_8.4pl2.orig.tar.gz 13-Dec-2013 23:13 4145112 coq-doc_8.4pl4-2.debian.tar.xz 12-Feb-2016 05:13 8404 coq-doc_8.4pl4-2.dsc 12-Feb-2016 05:13 2243 coq-doc_8.4pl4-2_all.deb 12-Feb-2016 06:45 4402 coq-doc_8.4pl4.orig.tar.gz 24-Oct-2014 08:05 4067355 coq-doc_8.6-1.debian.tar.xz 14-Jul-2017 12:15 8304 coq-doc_8.6-1.dsc 14-Jul-2017 12:15 2311 coq-doc_8.6-1_all.deb 14-Jul-2017 12:17 4390 coq-doc_8.6.orig.tar.gz 14-Jul-2017 12:15 5538848
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.