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 /ubuntu/pool/multiverse/c/coq-doc/

../
coq-doc-html_8.15.0-3_all.deb                      17-Mar-2022 09:15             1343072
coq-doc-html_8.18.0-1_all.deb                      02-Apr-2024 22:05             1548520
coq-doc-html_8.19.1-2_all.deb                      18-Jun-2024 23:39             1565862
coq-doc-html_8.4pl2-1_all.deb                      13-Dec-2013 23:53              413392
coq-doc-html_8.4pl4-2_all.deb                      12-Feb-2016 06:45              415730
coq-doc-html_8.6-1_all.deb                         14-Jul-2017 12:16              462740
coq-doc-pdf_8.15.0-3_all.deb                       17-Mar-2022 09:15             4062240
coq-doc-pdf_8.18.0-1_all.deb                       02-Apr-2024 22:05             4732100
coq-doc-pdf_8.19.1-2_all.deb                       18-Jun-2024 23:39             4831738
coq-doc-pdf_8.4pl2-1_all.deb                       13-Dec-2013 23:53             2421008
coq-doc-pdf_8.4pl4-2_all.deb                       12-Feb-2016 06:45             2423032
coq-doc-pdf_8.6-1_all.deb                          14-Jul-2017 12:17             2534360
coq-doc_8.15.0-3.debian.tar.xz                     22-Feb-2022 23:24                7600
coq-doc_8.15.0-3.dsc                               22-Feb-2022 23:24                2554
coq-doc_8.15.0-3_all.deb                           17-Mar-2022 09:15                4012
coq-doc_8.15.0.orig.tar.gz                         09-Feb-2022 05:35             7215106
coq-doc_8.18.0-1.debian.tar.xz                     25-Jan-2024 23:15                8064
coq-doc_8.18.0-1.dsc                               25-Jan-2024 23:15                2560
coq-doc_8.18.0-1_all.deb                           02-Apr-2024 22:05                4020
coq-doc_8.18.0.orig.tar.gz                         25-Jan-2024 23:15             7612742
coq-doc_8.19.1-2.debian.tar.xz                     18-Jun-2024 23:39                8128
coq-doc_8.19.1-2.dsc                               18-Jun-2024 23:39                2328
coq-doc_8.19.1-2_all.deb                           18-Jun-2024 23:39                4022
coq-doc_8.19.1.orig.tar.gz                         02-May-2024 11:53             7675945
coq-doc_8.4pl2-1.debian.tar.gz                     13-Dec-2013 23:13                8729
coq-doc_8.4pl2-1.dsc                               13-Dec-2013 23:13                2237
coq-doc_8.4pl2-1_all.deb                           13-Dec-2013 23:53                4456
coq-doc_8.4pl2.orig.tar.gz                         13-Dec-2013 23:13             4145112
coq-doc_8.4pl4-2.debian.tar.xz                     12-Feb-2016 05:13                8404
coq-doc_8.4pl4-2.dsc                               12-Feb-2016 05:13                2243
coq-doc_8.4pl4-2_all.deb                           12-Feb-2016 06:45                4402
coq-doc_8.4pl4.orig.tar.gz                         24-Oct-2014 08:05             4067355
coq-doc_8.6-1.debian.tar.xz                        14-Jul-2017 12:15                8304
coq-doc_8.6-1.dsc                                  14-Jul-2017 12:15                2311
coq-doc_8.6-1_all.deb                              14-Jul-2017 12:17                4390
coq-doc_8.6.orig.tar.gz                            14-Jul-2017 12:15             5538848

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.