coq-doc-html_8.15.0-3_all.deb | 1.28 MB | 03/17/2022, 09:15:26 |
coq-doc-html_8.16.1-1_all.deb | 1.41 MB | 12/10/2022, 05:34:25 |
coq-doc-html_8.17.1-1_all.deb | 1.46 MB | 08/12/2023, 17:24:05 |
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.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.16.1-1_all.deb | 4.13 MB | 12/10/2022, 05:34:25 |
coq-doc-pdf_8.17.1-1_all.deb | 4.34 MB | 08/12/2023, 17:24:05 |
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.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.16.1-1.debian.tar.xz | 7.64 KB | 12/10/2022, 05:34:23 |
coq-doc_8.16.1-1.dsc | 2.56 KB | 12/10/2022, 05:34:23 |
coq-doc_8.16.1-1_all.deb | 3.91 KB | 12/10/2022, 05:34:25 |
coq-doc_8.16.1.orig.tar.gz | 7.06 MB | 12/10/2022, 05:34:23 |
coq-doc_8.17.1-1.debian.tar.xz | 7.78 KB | 08/12/2023, 17:24:04 |
coq-doc_8.17.1-1.dsc | 2.26 KB | 08/12/2023, 17:24:04 |
coq-doc_8.17.1-1_all.deb | 3.91 KB | 08/12/2023, 17:24:04 |
coq-doc_8.17.1.orig.tar.gz | 7.16 MB | 08/12/2023, 17:24:04 |
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.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 |