The hardware and bandwidth for this mirror is donated by METANET, the Webhosting and Full Service-Cloud Provider.
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[@]metanet.ch.
../ coq-doc-html_8.15.0-3_all.deb 17-Mar-2022 09:15 1343072 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.20.0-2_all.deb 24-Jan-2025 10:50 1606488 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.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.20.0-2_all.deb 24-Jan-2025 10:50 5061146 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.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.20.0-2.debian.tar.xz 24-Jan-2025 05:56 8820 coq-doc_8.20.0-2.dsc 24-Jan-2025 05:56 2572 coq-doc_8.20.0-2_all.deb 24-Jan-2025 10:50 4018 coq-doc_8.20.0.orig.tar.gz 27-Dec-2024 06:05 7839432 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.