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-simple-io/

Index of /ubuntu/pool/universe/c/coq-simple-io/

../
coq-simple-io_1.10.0-1build6.debian.tar.xz         19-Feb-2025 10:52    2864
coq-simple-io_1.10.0-1build6.dsc                   19-Feb-2025 10:52    2169
coq-simple-io_1.10.0.orig.tar.gz                   20-Nov-2024 21:47     34K
coq-simple-io_1.8.0-4ubuntu4.debian.tar.xz         08-Apr-2024 10:57    3328
coq-simple-io_1.8.0-4ubuntu4.dsc                   08-Apr-2024 10:57    2233
coq-simple-io_1.8.0.orig.tar.gz                    05-Nov-2022 17:08     32K
coq-simple-io_1.9.0-2build3.debian.tar.xz          07-Sep-2024 22:04    2764
coq-simple-io_1.9.0-2build3.dsc                    07-Sep-2024 22:04    2162
coq-simple-io_1.9.0.orig.tar.gz                    02-May-2024 11:09     33K
libcoq-simple-io_1.10.0-1build6_amd64.deb          19-Feb-2025 10:53    267K
libcoq-simple-io_1.8.0-4ubuntu4_amd64.deb          08-Apr-2024 13:59     96K
libcoq-simple-io_1.9.0-2build3_amd64.deb           07-Sep-2024 22:05    267K