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.

../ coqprime-tools_8.18-1build3_amd64.deb 08-Apr-2024 13:59 175K coqprime-tools_8.19-2build3_amd64.deb 07-Sep-2024 22:05 180K coqprime-tools_8.20.1-1build4_amd64.deb 19-Feb-2025 10:53 183K coqprime_8.18-1build3.debian.tar.xz 08-Apr-2024 10:57 3492 coqprime_8.18-1build3.dsc 08-Apr-2024 10:57 2227 coqprime_8.18.orig.tar.gz 23-Dec-2023 20:16 973K coqprime_8.19-2build3.debian.tar.xz 07-Sep-2024 22:04 3552 coqprime_8.19-2build3.dsc 07-Sep-2024 22:04 2148 coqprime_8.19.orig.tar.gz 03-May-2024 04:55 973K coqprime_8.20.1-1build4.debian.tar.xz 19-Feb-2025 10:52 3624 coqprime_8.20.1-1build4.dsc 19-Feb-2025 10:52 2165 coqprime_8.20.1.orig.tar.gz 24-Jan-2025 08:56 973K libcoq-coqprime_8.18-1build3_amd64.deb 08-Apr-2024 13:59 2M libcoq-coqprime_8.19-2build3_amd64.deb 07-Sep-2024 22:05 2M libcoq-coqprime_8.20.1-1build4_amd64.deb 19-Feb-2025 10:53 2M

These releases of Ubuntu are available

Standard support

LTS Releases

Interim Releases

Extended Security Maintenance (ESM)

Index of /ubuntu/pool/universe/c/coqprime/