Ubuntu Releases

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.

../ coq-elpi_1.13.0-1.debian.tar.xz 11-Feb-2022 02:14 2584 coq-elpi_1.13.0-1.dsc 11-Feb-2022 02:14 2088 coq-elpi_1.13.0.orig.tar.gz 11-Feb-2022 02:14 352K coq-elpi_1.19.3-2build4.debian.tar.xz 08-Apr-2024 10:57 3852 coq-elpi_1.19.3-2build4.dsc 08-Apr-2024 10:57 2108 coq-elpi_1.19.3.orig.tar.gz 22-Dec-2023 20:26 558K coq-elpi_2.1.0-1build9.debian.tar.xz 17-Sep-2024 18:51 3852 coq-elpi_2.1.0-1build9.dsc 17-Sep-2024 18:51 2022 coq-elpi_2.1.0.orig.tar.gz 02-May-2024 14:53 699K coq-elpi_2.4.0-1build1.debian.tar.xz 19-Feb-2025 00:25 3848 coq-elpi_2.4.0-1build1.dsc 19-Feb-2025 00:25 2066 coq-elpi_2.4.0.orig.tar.gz 18-Feb-2025 04:39 718K libcoq-elpi-ocaml-dev_1.13.0-1_amd64.deb 11-Feb-2022 02:34 2M libcoq-elpi-ocaml_1.13.0-1_amd64.deb 11-Feb-2022 02:34 5M libcoq-elpi_1.19.3-2build4_amd64.deb 08-Apr-2024 10:57 3M libcoq-elpi_2.1.0-1build9_amd64.deb 19-Sep-2024 20:02 3M libcoq-elpi_2.4.0-1build1_amd64.deb 19-Feb-2025 00:25 13M

These releases of Ubuntu are available

Standard support

LTS Releases

Interim Releases

Extended Security Maintenance (ESM)

Index of /ubuntu/pool/universe/c/coq-elpi/