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/c/coq-hierarchy-builder/

Index of /ubuntu/pool/universe/c/coq-hierarchy-builder/

../
coq-hierarchy-builder_1.2.1-2.debian.tar.xz        14-Feb-2022 08:33    2732
coq-hierarchy-builder_1.2.1-2.dsc                  14-Feb-2022 08:33    2227
coq-hierarchy-builder_1.2.1-2_amd64.deb            14-Feb-2022 11:54    760K
coq-hierarchy-builder_1.2.1.orig.tar.gz            18-Jan-2022 02:14    184K
coq-hierarchy-builder_1.6.0-1build5.debian.tar.xz  08-Apr-2024 10:57    3676
coq-hierarchy-builder_1.6.0-1build5.dsc            08-Apr-2024 10:57    2303
coq-hierarchy-builder_1.6.0-1build5_amd64.deb      08-Apr-2024 12:28    812K
coq-hierarchy-builder_1.6.0.orig.tar.gz            23-Dec-2023 20:16    197K
coq-hierarchy-builder_1.7.0-2build7.debian.tar.xz  17-Sep-2024 18:51    3048
coq-hierarchy-builder_1.7.0-2build7.dsc            17-Sep-2024 18:51    2150
coq-hierarchy-builder_1.7.0.orig.tar.gz            02-May-2024 14:53    202K
coq-hierarchy-builder_1.8.1-1build2.debian.tar.xz  19-Feb-2025 10:52    2984
coq-hierarchy-builder_1.8.1-1build2.dsc            19-Feb-2025 10:52    2150
coq-hierarchy-builder_1.8.1.orig.tar.gz            18-Feb-2025 04:39    210K
libcoq-hierarchy-builder_1.2.1-2_amd64.deb         14-Feb-2022 11:54    241K
libcoq-hierarchy-builder_1.6.0-1build5_amd64.deb   08-Apr-2024 12:28    262K
libcoq-hierarchy-builder_1.7.0-2build7_amd64.deb   19-Sep-2024 22:15    281K
libcoq-hierarchy-builder_1.8.1-1build2_amd64.deb   19-Feb-2025 10:53    674K