All our mirrors of open source software are available via http, https, ftp and an onion service. More information about our mirrors including statistics and contact information is available on our mirror info pages.
For information about dotsrc.org and our other services please go to our website.
| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| coq-doc_8.19.1-2_all.deb | 3.9 KiB | 2024-06-18 23:39:39 |
| coq-doc-html_8.19.1-2_all.deb | 1.5 MiB | 2024-06-18 23:39:39 |
| coq-doc-pdf_8.19.1-2_all.deb | 4.6 MiB | 2024-06-18 23:39:39 |
| coq-doc_8.19.1-2.dsc | 2.3 KiB | 2024-06-18 23:39:37 |
| coq-doc_8.19.1-2.debian.tar.xz | 7.9 KiB | 2024-06-18 23:39:37 |
| coq-doc_8.19.1.orig.tar.gz | 7.3 MiB | 2024-05-02 11:53:16 |
| coq-doc-pdf_8.18.0-1_all.deb | 4.5 MiB | 2024-04-02 22:05:08 |
| coq-doc-html_8.18.0-1_all.deb | 1.5 MiB | 2024-04-02 22:05:08 |
| coq-doc_8.18.0-1_all.deb | 3.9 KiB | 2024-04-02 22:05:08 |
| coq-doc_8.18.0-1.debian.tar.xz | 7.9 KiB | 2024-01-25 23:15:21 |
| coq-doc_8.18.0.orig.tar.gz | 7.3 MiB | 2024-01-25 23:15:21 |
| coq-doc_8.18.0-1.dsc | 2.5 KiB | 2024-01-25 23:15:21 |
| coq-doc-html_8.15.0-3_all.deb | 1.3 MiB | 2022-03-17 09:15:26 |
| coq-doc_8.15.0-3_all.deb | 3.9 KiB | 2022-03-17 09:15:26 |
| coq-doc-pdf_8.15.0-3_all.deb | 3.9 MiB | 2022-03-17 09:15:26 |
| coq-doc_8.15.0-3.dsc | 2.5 KiB | 2022-02-22 23:24:36 |
| coq-doc_8.15.0-3.debian.tar.xz | 7.4 KiB | 2022-02-22 23:24:36 |
| coq-doc_8.15.0.orig.tar.gz | 6.9 MiB | 2022-02-09 05:35:29 |
| coq-doc_8.6-1_all.deb | 4.3 KiB | 2017-07-14 12:17:00 |
| coq-doc-pdf_8.6-1_all.deb | 2.4 MiB | 2017-07-14 12:17:00 |
| coq-doc-html_8.6-1_all.deb | 451.9 KiB | 2017-07-14 12:16:59 |
| coq-doc_8.6.orig.tar.gz | 5.3 MiB | 2017-07-14 12:15:55 |
| coq-doc_8.6-1.debian.tar.xz | 8.1 KiB | 2017-07-14 12:15:55 |
| coq-doc_8.6-1.dsc | 2.3 KiB | 2017-07-14 12:15:55 |
| coq-doc-pdf_8.4pl4-2_all.deb | 2.3 MiB | 2016-02-12 06:45:59 |
| coq-doc-html_8.4pl4-2_all.deb | 406.0 KiB | 2016-02-12 06:45:59 |
| coq-doc_8.4pl4-2_all.deb | 4.3 KiB | 2016-02-12 06:45:59 |
| coq-doc_8.4pl4-2.debian.tar.xz | 8.2 KiB | 2016-02-12 05:13:56 |
| coq-doc_8.4pl4-2.dsc | 2.2 KiB | 2016-02-12 05:13:56 |
| coq-doc_8.4pl4.orig.tar.gz | 3.9 MiB | 2014-10-24 08:05:13 |
| coq-doc-pdf_8.4pl2-1_all.deb | 2.3 MiB | 2013-12-13 23:53:39 |
| coq-doc_8.4pl2-1_all.deb | 4.4 KiB | 2013-12-13 23:53:39 |
| coq-doc-html_8.4pl2-1_all.deb | 403.7 KiB | 2013-12-13 23:53:39 |
| coq-doc_8.4pl2-1.dsc | 2.2 KiB | 2013-12-13 23:13:25 |
| coq-doc_8.4pl2.orig.tar.gz | 4.0 MiB | 2013-12-13 23:13:25 |
| coq-doc_8.4pl2-1.debian.tar.gz | 8.5 KiB | 2013-12-13 23:13:25 |