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/universe/d/dh-coq/

Index of /ubuntu/pool/universe/d/dh-coq/

../
debian-coq-tools_0.11_all.deb                      25-Sep-2024 17:37    7634
debian-coq-tools_0.14_all.deb                      18-Feb-2025 22:05    9834
debian-coq-tools_0.8_all.deb                       31-Jan-2024 21:25    7476
dh-coq_0.11.dsc                                    25-Sep-2024 17:37    1655
dh-coq_0.11.tar.xz                                 25-Sep-2024 17:37    8592
dh-coq_0.11_all.deb                                25-Sep-2024 17:37    6896
dh-coq_0.14.dsc                                    18-Feb-2025 22:04    1670
dh-coq_0.14.tar.xz                                 18-Feb-2025 22:04     10K
dh-coq_0.14_all.deb                                18-Feb-2025 22:05    6862
dh-coq_0.8.dsc                                     31-Jan-2024 20:45    1651
dh-coq_0.8.tar.xz                                  31-Jan-2024 20:45    8444
dh-coq_0.8_all.deb                                 31-Jan-2024 21:25    6766