Ubuntu Releases

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.

../ aac-tactics_0.4-2.debian.tar.xz 20-Jan-2014 14:09 2884 aac-tactics_0.4-2.dsc 20-Jan-2014 14:09 2191 aac-tactics_0.4-5build2.debian.tar.xz 05-Nov-2015 03:30 3076 aac-tactics_0.4-5build2.dsc 05-Nov-2015 03:30 1914 aac-tactics_0.4.orig.tar.gz 06-Dec-2013 20:23 76K aac-tactics_8.11.0-1.debian.tar.xz 18-Mar-2020 21:28 3520 aac-tactics_8.11.0-1.dsc 18-Mar-2020 21:28 2178 aac-tactics_8.11.0.orig.tar.gz 18-Mar-2020 21:28 64K aac-tactics_8.15.0-1.debian.tar.xz 06-Feb-2022 20:19 3600 aac-tactics_8.15.0-1.dsc 06-Feb-2022 20:19 2209 aac-tactics_8.15.0.orig.tar.gz 06-Feb-2022 20:19 67K aac-tactics_8.18.0-1build3.debian.tar.xz 08-Apr-2024 10:57 3904 aac-tactics_8.18.0-1build3.dsc 08-Apr-2024 10:57 2182 aac-tactics_8.18.0.orig.tar.gz 22-Dec-2023 02:52 74K aac-tactics_8.19.1-2build3.debian.tar.xz 07-Sep-2024 18:43 3920 aac-tactics_8.19.1-2build3.dsc 07-Sep-2024 18:43 2103 aac-tactics_8.19.1.orig.tar.gz 11-Jun-2024 20:54 75K aac-tactics_8.20.0-1build3.debian.tar.xz 19-Feb-2025 00:25 3944 aac-tactics_8.20.0-1build3.dsc 19-Feb-2025 00:25 2103 aac-tactics_8.20.0.orig.tar.gz 20-Nov-2024 21:47 76K aac-tactics_8.6.1-2.debian.tar.xz 01-Nov-2017 16:05 3248 aac-tactics_8.6.1-2.dsc 01-Nov-2017 16:05 2238 aac-tactics_8.6.1.orig.tar.gz 30-Dec-2016 20:13 73K libaac-tactics-coq_0.4-2_all.deb 20-Jan-2014 14:33 208K libaac-tactics-coq_0.4-5build2_all.deb 05-Nov-2015 03:33 208K libaac-tactics-coq_8.11.0-1_all.deb 18-Mar-2020 22:48 238K libaac-tactics-coq_8.15.0-1_all.deb 06-Feb-2022 22:04 282K libaac-tactics-coq_8.6.1-2_all.deb 01-Nov-2017 16:05 216K libaac-tactics-ocaml-dev_0.4-2_amd64.deb 20-Jan-2014 14:33 43K libaac-tactics-ocaml-dev_0.4-2_i386.deb 20-Jan-2014 14:33 43K libaac-tactics-ocaml-dev_0.4-5build2_amd64.deb 05-Nov-2015 03:33 43K libaac-tactics-ocaml-dev_0.4-5build2_i386.deb 05-Nov-2015 03:34 43K libaac-tactics-ocaml-dev_8.11.0-1_amd64.deb 18-Mar-2020 22:48 38K libaac-tactics-ocaml-dev_8.15.0-1_amd64.deb 06-Feb-2022 22:04 40K libaac-tactics-ocaml-dev_8.6.1-2_amd64.deb 01-Nov-2017 16:05 37K libaac-tactics-ocaml-dev_8.6.1-2_i386.deb 01-Nov-2017 16:05 37K libaac-tactics-ocaml_0.4-2_amd64.deb 20-Jan-2014 14:33 125K libaac-tactics-ocaml_0.4-2_i386.deb 20-Jan-2014 14:33 114K libaac-tactics-ocaml_0.4-5build2_amd64.deb 05-Nov-2015 03:33 117K libaac-tactics-ocaml_0.4-5build2_i386.deb 05-Nov-2015 03:34 109K libaac-tactics-ocaml_8.11.0-1_amd64.deb 18-Mar-2020 22:48 104K libaac-tactics-ocaml_8.15.0-1_amd64.deb 06-Feb-2022 22:04 128K libaac-tactics-ocaml_8.6.1-2_amd64.deb 01-Nov-2017 16:05 117K libaac-tactics-ocaml_8.6.1-2_i386.deb 01-Nov-2017 16:05 108K libcoq-aac-tactics_8.18.0-1build3_amd64.deb 08-Apr-2024 10:57 412K libcoq-aac-tactics_8.19.1-2build3_amd64.deb 07-Sep-2024 18:44 430K libcoq-aac-tactics_8.20.0-1build3_amd64.deb 19-Feb-2025 00:25 421K

These releases of Ubuntu are available

Standard support

LTS Releases

Interim Releases

Extended Security Maintenance (ESM)

Index of /ubuntu/pool/universe/a/aac-tactics/