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

Index of /ubuntu/pool/universe/c/cvc4/

../
cvc4_1.5-1.debian.tar.xz                           01-Nov-2017 16:57    6012
cvc4_1.5-1.dsc                                     01-Nov-2017 16:57    2221
cvc4_1.5-1_amd64.deb                               03-Nov-2017 09:57    135K
cvc4_1.5-1_i386.deb                                03-Nov-2017 09:59    139K
cvc4_1.5.orig.tar.gz                               01-Nov-2017 16:57      8M
cvc4_1.6-2build2.debian.tar.xz                     04-Feb-2020 01:24    8392
cvc4_1.6-2build2.dsc                               04-Feb-2020 01:24    2755
cvc4_1.6-2build2_amd64.deb                         04-Feb-2020 02:45    135K
cvc4_1.6.orig.tar.gz                               12-Aug-2018 08:13      7M
cvc4_1.8-2.debian.tar.xz                           30-Sep-2020 18:43     16K
cvc4_1.8-2.dsc                                     30-Sep-2020 18:43    2275
cvc4_1.8-2_amd64.deb                               30-Sep-2020 19:28     72K
cvc4_1.8-3build2.debian.tar.xz                     31-Mar-2024 21:36     16K
cvc4_1.8-3build2.dsc                               31-Mar-2024 21:36    2363
cvc4_1.8-3build2_amd64.deb                         31-Mar-2024 23:36     74K
cvc4_1.8.orig.tar.gz                               30-Sep-2020 18:43      7M
libcvc4-4_1.5-1_amd64.deb                          03-Nov-2017 09:57      3M
libcvc4-4_1.5-1_i386.deb                           03-Nov-2017 09:59      3M
libcvc4-5_1.6-2build2_amd64.deb                    04-Feb-2020 02:45      4M
libcvc4-7_1.8-2_amd64.deb                          30-Sep-2020 19:28      5M
libcvc4-7_1.8-3build2_amd64.deb                    31-Mar-2024 23:36      5M
libcvc4-dev_1.5-1_amd64.deb                        03-Nov-2017 09:57      6M
libcvc4-dev_1.5-1_i386.deb                         03-Nov-2017 09:59      6M
libcvc4-dev_1.6-2build2_amd64.deb                  04-Feb-2020 02:45      7M
libcvc4-dev_1.8-2_amd64.deb                        30-Sep-2020 19:28    120K
libcvc4-dev_1.8-3build2_amd64.deb                  31-Mar-2024 23:36    122K
libcvc4parser4_1.5-1_amd64.deb                     03-Nov-2017 09:57    355K
libcvc4parser4_1.5-1_i386.deb                      03-Nov-2017 09:59    381K
libcvc4parser5_1.6-2build2_amd64.deb               04-Feb-2020 02:45    356K
libcvc4parser7_1.8-2_amd64.deb                     30-Sep-2020 19:28    349K
libcvc4parser7_1.8-3build2_amd64.deb               31-Mar-2024 23:36    365K