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