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