Standard support

LTS Releases

Interim Releases

Extended Security Maintenance (ESM)

There are 2 types of Ubuntu releases: Interim and LTS. Each Ubuntu LTS is maintained for 10 years total: 5 years of standard support + 5 years of ESM. Interim releases are maintained for 9 months.

For the Ubuntu release cycle please see: The Ubuntu lifecycle and release cadence.

We are happy to provide hosting for the following projects via the cdimage server. While they are not commercially supported by Canonical, they receive full support from their communities.

The cdimage server also hosts releases of other Ubuntu images not found on this server, such as builds for less popular architectures and other non-standard and unsupported images. For Ubuntu Desktop and Server on popular architectures, please see the links above instead.

Ports, Unsupported, and Experimental Images for Ubuntu

For old releases, see old-releases.ubuntu.com.

Index of /ubuntu/pool/multiverse/c/coq-doc/

Index of /ubuntu/pool/multiverse/c/coq-doc/

../
coq-doc-html_8.15.0-3_all.deb                      17-Mar-2022 12:15      1M
coq-doc-html_8.18.0-1_all.deb                      03-Apr-2024 01:05      1M
coq-doc-html_8.19.1-2_all.deb                      19-Jun-2024 02:39      1M
coq-doc-html_8.20.0-2_all.deb                      24-Jan-2025 13:50      2M
coq-doc-html_8.4pl2-1_all.deb                      14-Dec-2013 02:53    404K
coq-doc-html_8.4pl4-2_all.deb                      12-Feb-2016 09:45    406K
coq-doc-html_8.6-1_all.deb                         14-Jul-2017 15:16    452K
coq-doc-pdf_8.15.0-3_all.deb                       17-Mar-2022 12:15      4M
coq-doc-pdf_8.18.0-1_all.deb                       03-Apr-2024 01:05      5M
coq-doc-pdf_8.19.1-2_all.deb                       19-Jun-2024 02:39      5M
coq-doc-pdf_8.20.0-2_all.deb                       24-Jan-2025 13:50      5M
coq-doc-pdf_8.4pl2-1_all.deb                       14-Dec-2013 02:53      2M
coq-doc-pdf_8.4pl4-2_all.deb                       12-Feb-2016 09:45      2M
coq-doc-pdf_8.6-1_all.deb                          14-Jul-2017 15:17      2M
coq-doc_8.15.0-3.debian.tar.xz                     23-Feb-2022 02:24    7600
coq-doc_8.15.0-3.dsc                               23-Feb-2022 02:24    2554
coq-doc_8.15.0-3_all.deb                           17-Mar-2022 12:15    4012
coq-doc_8.15.0.orig.tar.gz                         09-Feb-2022 08:35      7M
coq-doc_8.18.0-1.debian.tar.xz                     26-Jan-2024 02:15    8064
coq-doc_8.18.0-1.dsc                               26-Jan-2024 02:15    2560
coq-doc_8.18.0-1_all.deb                           03-Apr-2024 01:05    4020
coq-doc_8.18.0.orig.tar.gz                         26-Jan-2024 02:15      7M
coq-doc_8.19.1-2.debian.tar.xz                     19-Jun-2024 02:39    8128
coq-doc_8.19.1-2.dsc                               19-Jun-2024 02:39    2328
coq-doc_8.19.1-2_all.deb                           19-Jun-2024 02:39    4022
coq-doc_8.19.1.orig.tar.gz                         02-May-2024 14:53      7M
coq-doc_8.20.0-2.debian.tar.xz                     24-Jan-2025 08:56    8820
coq-doc_8.20.0-2.dsc                               24-Jan-2025 08:56    2572
coq-doc_8.20.0-2_all.deb                           24-Jan-2025 13:50    4018
coq-doc_8.20.0.orig.tar.gz                         27-Dec-2024 09:05      7M
coq-doc_8.4pl2-1.debian.tar.gz                     14-Dec-2013 02:13    8729
coq-doc_8.4pl2-1.dsc                               14-Dec-2013 02:13    2237
coq-doc_8.4pl2-1_all.deb                           14-Dec-2013 02:53    4456
coq-doc_8.4pl2.orig.tar.gz                         14-Dec-2013 02:13      4M
coq-doc_8.4pl4-2.debian.tar.xz                     12-Feb-2016 08:13    8404
coq-doc_8.4pl4-2.dsc                               12-Feb-2016 08:13    2243
coq-doc_8.4pl4-2_all.deb                           12-Feb-2016 09:45    4402
coq-doc_8.4pl4.orig.tar.gz                         24-Oct-2014 11:05      4M
coq-doc_8.6-1.debian.tar.xz                        14-Jul-2017 15:15    8304
coq-doc_8.6-1.dsc                                  14-Jul-2017 15:15    2311
coq-doc_8.6-1_all.deb                              14-Jul-2017 15:17    4390
coq-doc_8.6.orig.tar.gz                            14-Jul-2017 15:15      5M