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/coqeal/

Index of /ubuntu/pool/universe/c/coqeal/


../
coqeal_2.0.1-1build5.debian.tar.xz                 08-Apr-2024 10:57    2560
coqeal_2.0.1-1build5.dsc                           08-Apr-2024 10:57    2249
coqeal_2.0.1.orig.tar.gz                           21-Jan-2024 08:45    212K
coqeal_2.0.2-2build5.debian.tar.xz                 17-Sep-2024 19:56    2548
coqeal_2.0.2-2build5.dsc                           17-Sep-2024 19:56    2170
coqeal_2.0.2.orig.tar.gz                           03-May-2024 04:55    212K
coqeal_2.0.3-1build6.debian.tar.xz                 19-Feb-2025 10:52    2576
coqeal_2.0.3-1build6.dsc                           19-Feb-2025 10:52    2170
coqeal_2.0.3.orig.tar.gz                           19-Dec-2024 02:41    212K
libcoq-coqeal_2.0.1-1build5_amd64.deb              09-Apr-2024 10:42      5M
libcoq-coqeal_2.0.2-2build5_amd64.deb              20-Sep-2024 07:15      6M
libcoq-coqeal_2.0.3-1build6_amd64.deb              20-Feb-2025 20:00      6M