| name | size | date |
|---|---|---|
| coq-doc-pdf_8.19.1-2_all.deb | 4.61M | 2025-09-12 11:45:41 |
| coq-doc_8.19.1-2_all.deb | 3.9K | 2025-09-12 11:45:41 |
| coq-doc-html_8.19.1-2_all.deb | 1.49M | 2025-09-12 11:45:40 |
| coq-doc_8.16.1-1_all.deb | 3.9K | 2024-11-26 10:36:49 |
| coq-doc-html_8.16.1-1_all.deb | 1.41M | 2024-11-26 10:36:48 |
| coq-doc-pdf_8.16.1-1_all.deb | 4.13M | 2024-11-26 10:36:48 |
| coq-doc_8.17.1-1_all.deb | 3.9K | 2024-11-15 02:12:23 |
| coq-doc-html_8.17.1-1_all.deb | 1.46M | 2024-11-15 02:12:22 |
| coq-doc-pdf_8.17.1-1_all.deb | 4.34M | 2024-11-15 02:12:22 |
| coq-doc-pdf_8.15.2-3_all.deb | 3.89M | 2023-08-11 02:12:47 |
| coq-doc_8.15.2-3_all.deb | 3.9K | 2023-08-11 02:12:47 |
| coq-doc-html_8.15.2-3_all.deb | 1.28M | 2023-08-11 02:12:46 |
| coq-doc_8.6-1_all.deb | 4.3K | 2022-02-24 21:15:23 |
| coq-doc-html_8.6-1_all.deb | 451.9K | 2022-02-24 21:15:22 |
| coq-doc-pdf_8.6-1_all.deb | 2.42M | 2022-02-24 21:15:22 |
| coq-doc_8.0pl1.0-1_all.deb | 1.58M | 2022-01-19 07:55:46 |