| 📂 Parent Directory | | |
| 📄 coq-doc-html_8.15.0-3_all.deb | 2022-03-17 09:15:26 | 1.28 MB |
| 📄 coq-doc-html_8.18.0-1_all.deb | 2024-04-02 22:05:08 | 1.48 MB |
| 📄 coq-doc-html_8.19.1-2_all.deb | 2024-06-18 23:39:39 | 1.49 MB |
| 📄 coq-doc-html_8.20.0-2_all.deb | 2025-01-24 10:50:16 | 1.53 MB |
| 📄 coq-doc-html_8.4pl2-1_all.deb | 2013-12-13 23:53:39 | 403.7 KB |
| 📄 coq-doc-html_8.4pl4-2_all.deb | 2016-02-12 06:45:59 | 405.99 KB |
| 📄 coq-doc-html_8.6-1_all.deb | 2017-07-14 12:16:59 | 451.89 KB |
| 📄 coq-doc-pdf_8.15.0-3_all.deb | 2022-03-17 09:15:26 | 3.87 MB |
| 📄 coq-doc-pdf_8.18.0-1_all.deb | 2024-04-02 22:05:08 | 4.51 MB |
| 📄 coq-doc-pdf_8.19.1-2_all.deb | 2024-06-18 23:39:39 | 4.61 MB |
| 📄 coq-doc-pdf_8.20.0-2_all.deb | 2025-01-24 10:50:16 | 4.83 MB |
| 📄 coq-doc-pdf_8.4pl2-1_all.deb | 2013-12-13 23:53:39 | 2.31 MB |
| 📄 coq-doc-pdf_8.4pl4-2_all.deb | 2016-02-12 06:45:59 | 2.31 MB |
| 📄 coq-doc-pdf_8.6-1_all.deb | 2017-07-14 12:17:00 | 2.42 MB |
| 📄 coq-doc_8.15.0-3.debian.tar.xz | 2022-02-22 23:24:36 | 7.42 KB |
| 📄 coq-doc_8.15.0-3.dsc | 2022-02-22 23:24:36 | 2.49 KB |
| 📄 coq-doc_8.15.0-3_all.deb | 2022-03-17 09:15:26 | 3.92 KB |
| 📄 coq-doc_8.15.0.orig.tar.gz | 2022-02-09 05:35:29 | 6.88 MB |
| 📄 coq-doc_8.18.0-1.debian.tar.xz | 2024-01-25 23:15:21 | 7.88 KB |
| 📄 coq-doc_8.18.0-1.dsc | 2024-01-25 23:15:21 | 2.5 KB |
| 📄 coq-doc_8.18.0-1_all.deb | 2024-04-02 22:05:08 | 3.93 KB |
| 📄 coq-doc_8.18.0.orig.tar.gz | 2024-01-25 23:15:21 | 7.26 MB |
| 📄 coq-doc_8.19.1-2.debian.tar.xz | 2024-06-18 23:39:37 | 7.94 KB |
| 📄 coq-doc_8.19.1-2.dsc | 2024-06-18 23:39:37 | 2.27 KB |
| 📄 coq-doc_8.19.1-2_all.deb | 2024-06-18 23:39:39 | 3.93 KB |
| 📄 coq-doc_8.19.1.orig.tar.gz | 2024-05-02 11:53:16 | 7.32 MB |
| 📄 coq-doc_8.20.0-2.debian.tar.xz | 2025-01-24 05:56:12 | 8.61 KB |
| 📄 coq-doc_8.20.0-2.dsc | 2025-01-24 05:56:12 | 2.51 KB |
| 📄 coq-doc_8.20.0-2_all.deb | 2025-01-24 10:50:16 | 3.92 KB |
| 📄 coq-doc_8.20.0.orig.tar.gz | 2024-12-27 06:05:24 | 7.48 MB |
| 📄 coq-doc_8.4pl2-1.debian.tar.gz | 2013-12-13 23:13:25 | 8.52 KB |
| 📄 coq-doc_8.4pl2-1.dsc | 2013-12-13 23:13:25 | 2.18 KB |
| 📄 coq-doc_8.4pl2-1_all.deb | 2013-12-13 23:53:39 | 4.35 KB |
| 📄 coq-doc_8.4pl2.orig.tar.gz | 2013-12-13 23:13:25 | 3.95 MB |
| 📄 coq-doc_8.4pl4-2.debian.tar.xz | 2016-02-12 05:13:56 | 8.21 KB |
| 📄 coq-doc_8.4pl4-2.dsc | 2016-02-12 05:13:56 | 2.19 KB |
| 📄 coq-doc_8.4pl4-2_all.deb | 2016-02-12 06:45:59 | 4.3 KB |
| 📄 coq-doc_8.4pl4.orig.tar.gz | 2014-10-24 08:05:13 | 3.88 MB |
| 📄 coq-doc_8.6-1.debian.tar.xz | 2017-07-14 12:15:55 | 8.11 KB |
| 📄 coq-doc_8.6-1.dsc | 2017-07-14 12:15:55 | 2.26 KB |
| 📄 coq-doc_8.6-1_all.deb | 2017-07-14 12:17:00 | 4.29 KB |
| 📄 coq-doc_8.6.orig.tar.gz | 2017-07-14 12:15:55 | 5.28 MB |
