| Parent directory/ | - | - |
| coq-doc-html_8.15.0-3_all.deb | 1M | 17-Mar-2022 09:15 |
| coq-doc-html_8.16.1-1_all.deb | 1M | 10-Dec-2022 05:34 |
| coq-doc-html_8.17.1-1_all.deb | 1M | 12-Aug-2023 17:24 |
| coq-doc-html_8.18.0-1_all.deb | 1M | 02-Apr-2024 22:05 |
| coq-doc-html_8.19.1-1_all.deb | 1M | 02-May-2024 11:53 |
| 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.16.1-1_all.deb | 4M | 10-Dec-2022 05:34 |
| coq-doc-pdf_8.17.1-1_all.deb | 4M | 12-Aug-2023 17:24 |
| coq-doc-pdf_8.18.0-1_all.deb | 5M | 02-Apr-2024 22:05 |
| coq-doc-pdf_8.19.1-1_all.deb | 5M | 02-May-2024 11:53 |
| 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.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 | 7M | 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 | 7M | 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 | 7M | 25-Jan-2024 23:15 |
| coq-doc_8.19.1-1.debian.tar.xz | 8080 | 02-May-2024 11:53 |
| coq-doc_8.19.1-1.dsc | 2560 | 02-May-2024 11:53 |
| coq-doc_8.19.1-1_all.deb | 4024 | 02-May-2024 11:53 |
| coq-doc_8.19.1.orig.tar.gz | 7M | 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 | 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 |