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/p/paramcoq/

Index of /ubuntu/pool/universe/p/paramcoq/

../
libcoq-paramcoq_1.1.3+coq8.18-1build2_amd64.deb    01-Apr-2024 09:51    127K
libcoq-paramcoq_1.1.3+coq8.19-2build2_amd64.deb    07-Sep-2024 18:44    121K
libcoq-paramcoq_1.1.3+coq8.20-1build3_amd64.deb    19-Feb-2025 00:25    121K
paramcoq_1.1.3+coq8.18-1build2.debian.tar.xz       01-Apr-2024 08:43    3244
paramcoq_1.1.3+coq8.18-1build2.dsc                 01-Apr-2024 08:43    2189
paramcoq_1.1.3+coq8.18.orig.tar.gz                 22-Dec-2023 20:26     45K
paramcoq_1.1.3+coq8.19-2build2.debian.tar.xz       07-Sep-2024 18:43    3320
paramcoq_1.1.3+coq8.19-2build2.dsc                 07-Sep-2024 18:43    2110
paramcoq_1.1.3+coq8.19.orig.tar.gz                 03-May-2024 04:49     45K
paramcoq_1.1.3+coq8.20-1build3.debian.tar.xz       19-Feb-2025 00:25    3380
paramcoq_1.1.3+coq8.20-1build3.dsc                 19-Feb-2025 00:25    2110
paramcoq_1.1.3+coq8.20.orig.tar.gz                 20-Nov-2024 21:47     45K