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

Index of /ubuntu/pool/universe/c/cbmc/

../
cbmc_4.5-2ubuntu2.debian.tar.gz                    29-Oct-2013 00:18    6472
cbmc_4.5-2ubuntu2.dsc                              29-Oct-2013 00:18    1168
cbmc_4.5-2ubuntu2_amd64.deb                        29-Oct-2013 00:38      5M
cbmc_4.5-2ubuntu2_i386.deb                         29-Oct-2013 00:38      5M
cbmc_4.5.orig.tar.gz                               28-Oct-2013 20:33      4M
cbmc_5.10-5ubuntu1.debian.tar.xz                   14-Apr-2020 12:08     13K
cbmc_5.10-5ubuntu1.dsc                             14-Apr-2020 12:08    2267
cbmc_5.10-5ubuntu1_amd64.deb                       14-Apr-2020 12:41     10M
cbmc_5.10.orig-java-models-library.tar.gz          09-Nov-2018 09:53    169K
cbmc_5.10.orig.tar.gz                              09-Nov-2018 09:53      6M
cbmc_5.12-5.debian.tar.xz                          05-May-2020 02:13     15K
cbmc_5.12-5.dsc                                    05-May-2020 02:13    2234
cbmc_5.12-5_amd64.deb                              05-May-2020 03:58     17M
cbmc_5.12.orig-java-models-library.tar.gz          02-May-2020 17:33    297K
cbmc_5.12.orig.tar.gz                              02-May-2020 17:33      7M
cbmc_5.3-1.debian.tar.xz                           21-Jan-2016 08:25    9688
cbmc_5.3-1.dsc                                     21-Jan-2016 08:25    1729
cbmc_5.3-1_amd64.deb                               21-Jan-2016 08:44      3M
cbmc_5.3-1_i386.deb                                21-Jan-2016 08:45      3M
cbmc_5.3.orig.tar.gz                               21-Jan-2016 08:25      5M
cbmc_5.6-1.debian.tar.xz                           04-Dec-2016 20:18     10K
cbmc_5.6-1.dsc                                     04-Dec-2016 20:18    1744
cbmc_5.6-1_amd64.deb                               04-Dec-2016 21:03      4M
cbmc_5.6-1_i386.deb                                04-Dec-2016 21:03      4M
cbmc_5.6.orig.tar.gz                               04-Dec-2016 20:18      5M
cbmc_5.95.1-4ubuntu1.debian.tar.xz                 23-Apr-2024 20:04     15K
cbmc_5.95.1-4ubuntu1.dsc                           23-Apr-2024 20:04    3147
cbmc_5.95.1-4ubuntu1_amd64.deb                     23-Apr-2024 21:04     20M
cbmc_5.95.1.orig-java-cprover-api.tar.gz           16-Feb-2024 20:43     14K
cbmc_5.95.1.orig-java-models-library.tar.gz        16-Feb-2024 20:43    292K
cbmc_5.95.1.orig.tar.gz                            16-Feb-2024 20:43      9M
cbmc_6.1.1-2.debian.tar.xz                         02-Aug-2024 21:28     18K
cbmc_6.1.1-2.dsc                                   02-Aug-2024 21:28    3048
cbmc_6.1.1-2_amd64.deb                             02-Aug-2024 22:37     22M
cbmc_6.1.1.orig-java-cprover-api.tar.gz            02-Aug-2024 09:07     14K
cbmc_6.1.1.orig-java-models-library.tar.gz         02-Aug-2024 09:07    292K
cbmc_6.1.1.orig.tar.gz                             02-Aug-2024 09:07      9M
cbmc_6.4.1-2.debian.tar.xz                         22-Jan-2025 21:28     18K
cbmc_6.4.1-2.dsc                                   22-Jan-2025 21:28    3048
cbmc_6.4.1-2_amd64.deb                             22-Jan-2025 22:44     25M
cbmc_6.4.1.orig-java-cprover-api.tar.gz            22-Jan-2025 08:31     14K
cbmc_6.4.1.orig-java-models-library.tar.gz         22-Jan-2025 08:31    292K
cbmc_6.4.1.orig.tar.gz                             22-Jan-2025 08:31      9M
jbmc_5.95.1-4ubuntu1_amd64.deb                     23-Apr-2024 21:04      8M
jbmc_6.1.1-2_amd64.deb                             02-Aug-2024 22:37      8M
jbmc_6.4.1-2_amd64.deb                             22-Jan-2025 22:44     10M