| / | | |
| coq-doc-html_8.16.1-1_all.deb | 1,583,152 | Sat, 10 Dec 2022 03:28:53 +0000 |
| coq-doc-html_8.20.0-2_all.deb | 1,712,376 | Fri, 24 Jan 2025 02:58:15 +0000 |
| coq-doc-pdf_8.16.1-1_all.deb | 4,333,996 | Sat, 10 Dec 2022 03:28:53 +0000 |
| coq-doc-pdf_8.20.0-2_all.deb | 5,063,324 | Fri, 24 Jan 2025 02:58:15 +0000 |
| coq-doc_8.16.1-1.debian.tar.xz | 7,820 | Fri, 09 Dec 2022 21:08:23 +0000 |
| coq-doc_8.16.1-1.dsc | 2,626 | Fri, 09 Dec 2022 21:08:23 +0000 |
| coq-doc_8.16.1-1_all.deb | 4,924 | Sat, 10 Dec 2022 03:28:53 +0000 |
| coq-doc_8.16.1.orig.tar.gz | 7,401,345 | Fri, 09 Dec 2022 21:08:23 +0000 |
| coq-doc_8.20.0-2.debian.tar.xz | 8,820 | Thu, 23 Jan 2025 21:17:21 +0000 |
| coq-doc_8.20.0-2.dsc | 2,572 | Thu, 23 Jan 2025 21:17:21 +0000 |
| coq-doc_8.20.0-2_all.deb | 5,364 | Fri, 24 Jan 2025 02:58:15 +0000 |
| coq-doc_8.20.0.orig.tar.gz | 7,839,432 | Thu, 26 Dec 2024 21:06:07 +0000 |