The hardware and bandwidth for this mirror is donated by dogado GmbH, the Webhosting and Full Service-Cloud Provider. Check out our Wordpress Tutorial.
If you wish to report a bug, or if you are interested in having us mirror your free-software or open-source project, please feel free to contact us at mirror[@]dogado.de.

Index of /debian/pool/non-free/c/coq-doc/


../
coq-doc-html_8.16.0-1_all.deb                      11-Sep-2022 15:00             1559140
coq-doc-html_8.4pl4-1_all.deb                      17-Aug-2014 13:30              473846
coq-doc-html_8.4pl4-2_all.deb                      11-Feb-2016 21:59              473720
coq-doc-pdf_8.16.0-1_all.deb                       11-Sep-2022 15:00             4333052
coq-doc-pdf_8.4pl4-1_all.deb                       17-Aug-2014 13:30             2466854
coq-doc-pdf_8.4pl4-2_all.deb                       11-Feb-2016 21:59             2467952
coq-doc_8.16.0-1.debian.tar.xz                     11-Sep-2022 12:59                7760
coq-doc_8.16.0-1.dsc                               11-Sep-2022 12:59                2626
coq-doc_8.16.0-1_all.deb                           11-Sep-2022 15:00                6640
coq-doc_8.16.0.orig.tar.gz                         11-Sep-2022 12:59             7397421
coq-doc_8.4pl4-1.debian.tar.xz                     17-Aug-2014 13:30                8084
coq-doc_8.4pl4-1.dsc                               17-Aug-2014 13:30                2243
coq-doc_8.4pl4-1_all.deb                           17-Aug-2014 13:30               50422
coq-doc_8.4pl4-2.debian.tar.xz                     11-Feb-2016 21:59                8404
coq-doc_8.4pl4-2.dsc                               11-Feb-2016 21:59                2243
coq-doc_8.4pl4-2_all.deb                           11-Feb-2016 21:59               50462
coq-doc_8.4pl4.orig.tar.gz                         17-Aug-2014 13:30             4067355

These binaries (installable software) and packages are in development.
They may not be fully stable and should be used with caution. We make no claims about them.
Health stats visible at Monitor.