| Parent directory/ | - | - |
| coq-doc-html_8.15.0-3_all.deb | 1M | 17-Mar-2022 09:15 |
| coq-doc-html_8.18.0-1_all.deb | 1M | 02-Apr-2024 22:05 |
| coq-doc-html_8.19.1-2_all.deb | 1M | 18-Jun-2024 23:39 |
| coq-doc-html_8.20.0-1_all.deb | 2M | 27-Dec-2024 06:05 |
| coq-doc-html_8.4pl2-1_all.deb | 404K | 13-Dec-2013 23:53 |
| coq-doc-html_8.4pl4-2_all.deb | 406K | 12-Feb-2016 06:45 |
| coq-doc-html_8.6-1_all.deb | 452K | 14-Jul-2017 12:16 |
| coq-doc-pdf_8.15.0-3_all.deb | 4M | 17-Mar-2022 09:15 |
| coq-doc-pdf_8.18.0-1_all.deb | 5M | 02-Apr-2024 22:05 |
| coq-doc-pdf_8.19.1-2_all.deb | 5M | 18-Jun-2024 23:39 |
| coq-doc-pdf_8.20.0-1_all.deb | 5M | 27-Dec-2024 06:05 |
| coq-doc-pdf_8.4pl2-1_all.deb | 2M | 13-Dec-2013 23:53 |
| coq-doc-pdf_8.4pl4-2_all.deb | 2M | 12-Feb-2016 06:45 |
| coq-doc-pdf_8.6-1_all.deb | 2M | 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 | 7M | 09-Feb-2022 05:35 |
| 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 | 7M | 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 | 7M | 02-May-2024 11:53 |
| coq-doc_8.20.0-1.debian.tar.xz | 8136 | 27-Dec-2024 06:05 |
| coq-doc_8.20.0-1.dsc | 2572 | 27-Dec-2024 06:05 |
| coq-doc_8.20.0-1_all.deb | 4018 | 27-Dec-2024 06:05 |
| coq-doc_8.20.0.orig.tar.gz | 7M | 27-Dec-2024 06:05 |
| 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 | 4M | 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 | 4M | 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 | 5M | 14-Jul-2017 12:15 |