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/w/why3/

Index of /ubuntu/pool/universe/w/why3/

../
libwhy3-ocaml-dev_0.88.3-1ubuntu4_amd64.deb        07-Apr-2018 05:19      2M
libwhy3-ocaml-dev_0.88.3-1ubuntu4_i386.deb         07-Apr-2018 05:19      2M
libwhy3-ocaml-dev_1.2.1-6_amd64.deb                12-Mar-2020 17:18      8M
libwhy3-ocaml-dev_1.6.0-1build7_amd64.deb          01-Apr-2024 08:45     13M
libwhy3-ocaml-dev_1.7.2-2build1_amd64.deb          06-Sep-2024 19:41     13M
libwhy3-ocaml-dev_1.8.0-2_amd64.deb                02-Feb-2025 15:45     13M
why3-coq_0.88.3-1ubuntu4_amd64.deb                 07-Apr-2018 05:19      2M
why3-coq_0.88.3-1ubuntu4_i386.deb                  07-Apr-2018 05:19      2M
why3-coq_1.2.1-6_amd64.deb                         12-Mar-2020 17:18    569K
why3-doc-html_0.88.3-1ubuntu4_all.deb              07-Apr-2018 05:19    355K
why3-doc-html_1.2.1-6_all.deb                      12-Mar-2020 17:18    290K
why3-doc-html_1.6.0-1build7_all.deb                01-Apr-2024 08:45    753K
why3-doc-html_1.7.2-2build1_all.deb                06-Sep-2024 19:41    773K
why3-doc-pdf_0.88.3-1ubuntu4_all.deb               07-Apr-2018 05:19      1M
why3-doc-pdf_1.2.1-6_all.deb                       12-Mar-2020 17:18      1M
why3-doc-pdf_1.6.0-1build7_all.deb                 01-Apr-2024 08:45      1M
why3-doc-pdf_1.7.2-2build1_all.deb                 06-Sep-2024 19:41      1M
why3-examples_0.88.3-1ubuntu4_all.deb              07-Apr-2018 05:19      2M
why3-examples_1.2.1-6_all.deb                      12-Mar-2020 17:18      2M
why3-examples_1.6.0-1build7_all.deb                01-Apr-2024 08:45      4M
why3-examples_1.7.2-2build1_all.deb                06-Sep-2024 19:41      4M
why3-examples_1.8.0-2_all.deb                      02-Feb-2025 15:45      4M
why3_0.88.3-1ubuntu4.debian.tar.xz                 07-Apr-2018 05:19     13K
why3_0.88.3-1ubuntu4.dsc                           07-Apr-2018 05:19    2786
why3_0.88.3-1ubuntu4_amd64.deb                     07-Apr-2018 05:19     20M
why3_0.88.3-1ubuntu4_i386.deb                      07-Apr-2018 05:19     12M
why3_0.88.3.orig.tar.gz                            30-Jan-2018 13:34      4M
why3_1.2.1-6.debian.tar.xz                         12-Mar-2020 17:08     23K
why3_1.2.1-6.dsc                                   12-Mar-2020 17:08    2774
why3_1.2.1-6_amd64.deb                             12-Mar-2020 17:18     29M
why3_1.2.1.orig.tar.gz                             31-Oct-2019 12:18      6M
why3_1.6.0-1build7.debian.tar.xz                   01-Apr-2024 08:44     18K
why3_1.6.0-1build7.dsc                             01-Apr-2024 08:44    2749
why3_1.6.0-1build7_amd64.deb                       01-Apr-2024 08:45     13M
why3_1.6.0.orig.tar.gz                             11-Sep-2023 12:44      7M
why3_1.7.2-2build1.debian.tar.xz                   06-Sep-2024 18:36     18K
why3_1.7.2-2build1.dsc                             06-Sep-2024 18:36    2687
why3_1.7.2-2build1_amd64.deb                       06-Sep-2024 19:41     11M
why3_1.7.2.orig.tar.bz2                            12-Aug-2024 20:33      6M
why3_1.8.0-2.debian.tar.xz                         02-Feb-2025 15:44     18K
why3_1.8.0-2.dsc                                   02-Feb-2025 15:44    2140
why3_1.8.0-2_amd64.deb                             02-Feb-2025 15:45     13M
why3_1.8.0.orig.tar.bz2                            23-Jan-2025 08:47      6M