| Parent directory/ | - | - |
| coq-doc-html_8.15.0-3_all.deb | 1M | 17-Mar-2022 13:15 |
| coq-doc-html_8.16.1-1_all.deb | 1M | 10-Dec-2022 09:34 |
| coq-doc-html_8.17.1-1_all.deb | 1M | 12-Aug-2023 21:24 |
| coq-doc-html_8.18.0-1_all.deb | 1M | 03-Apr-2024 02:05 |
| coq-doc-html_8.4pl2-1_all.deb | 404K | 14-Dec-2013 03:53 |
| coq-doc-html_8.4pl4-2_all.deb | 406K | 12-Feb-2016 10:45 |
| coq-doc-html_8.6-1_all.deb | 452K | 14-Jul-2017 16:16 |
| coq-doc-pdf_8.15.0-3_all.deb | 4M | 17-Mar-2022 13:15 |
| coq-doc-pdf_8.16.1-1_all.deb | 4M | 10-Dec-2022 09:34 |
| coq-doc-pdf_8.17.1-1_all.deb | 4M | 12-Aug-2023 21:24 |
| coq-doc-pdf_8.18.0-1_all.deb | 5M | 03-Apr-2024 02:05 |
| coq-doc-pdf_8.4pl2-1_all.deb | 2M | 14-Dec-2013 03:53 |
| coq-doc-pdf_8.4pl4-2_all.deb | 2M | 12-Feb-2016 10:45 |
| coq-doc-pdf_8.6-1_all.deb | 2M | 14-Jul-2017 16:17 |
| coq-doc_8.15.0-3.debian.tar.xz | 7600 | 23-Feb-2022 03:24 |
| coq-doc_8.15.0-3.dsc | 2554 | 23-Feb-2022 03:24 |
| coq-doc_8.15.0-3_all.deb | 4012 | 17-Mar-2022 13:15 |
| coq-doc_8.15.0.orig.tar.gz | 7M | 09-Feb-2022 09:35 |
| coq-doc_8.16.1-1.debian.tar.xz | 7820 | 10-Dec-2022 09:34 |
| coq-doc_8.16.1-1.dsc | 2626 | 10-Dec-2022 09:34 |
| coq-doc_8.16.1-1_all.deb | 4000 | 10-Dec-2022 09:34 |
| coq-doc_8.16.1.orig.tar.gz | 7M | 10-Dec-2022 09:34 |
| coq-doc_8.17.1-1.debian.tar.xz | 7968 | 12-Aug-2023 21:24 |
| coq-doc_8.17.1-1.dsc | 2317 | 12-Aug-2023 21:24 |
| coq-doc_8.17.1-1_all.deb | 4006 | 12-Aug-2023 21:24 |
| coq-doc_8.17.1.orig.tar.gz | 7M | 12-Aug-2023 21:24 |
| coq-doc_8.18.0-1.debian.tar.xz | 8064 | 26-Jan-2024 03:15 |
| coq-doc_8.18.0-1.dsc | 2560 | 26-Jan-2024 03:15 |
| coq-doc_8.18.0-1_all.deb | 4020 | 03-Apr-2024 02:05 |
| coq-doc_8.18.0.orig.tar.gz | 7M | 26-Jan-2024 03:15 |
| coq-doc_8.4pl2-1.debian.tar.gz | 8729 | 14-Dec-2013 03:13 |
| coq-doc_8.4pl2-1.dsc | 2237 | 14-Dec-2013 03:13 |
| coq-doc_8.4pl2-1_all.deb | 4456 | 14-Dec-2013 03:53 |
| coq-doc_8.4pl2.orig.tar.gz | 4M | 14-Dec-2013 03:13 |
| coq-doc_8.4pl4-2.debian.tar.xz | 8404 | 12-Feb-2016 09:13 |
| coq-doc_8.4pl4-2.dsc | 2243 | 12-Feb-2016 09:13 |
| coq-doc_8.4pl4-2_all.deb | 4402 | 12-Feb-2016 10:45 |
| coq-doc_8.4pl4.orig.tar.gz | 4M | 24-Oct-2014 12:05 |
| coq-doc_8.6-1.debian.tar.xz | 8304 | 14-Jul-2017 16:15 |
| coq-doc_8.6-1.dsc | 2311 | 14-Jul-2017 16:15 |
| coq-doc_8.6-1_all.deb | 4390 | 14-Jul-2017 16:17 |
| coq-doc_8.6.orig.tar.gz | 5M | 14-Jul-2017 16:15 |
