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/a/agda/

Index of /ubuntu/pool/universe/a/agda/

../
agda-bin_2.3.2.2-1_amd64.deb                       06-Nov-2013 20:28      5M
agda-bin_2.3.2.2-1_i386.deb                        06-Nov-2013 20:28      5M
agda-bin_2.4.2.5-1build1_amd64.deb                 13-Jan-2016 01:59      5M
agda-bin_2.4.2.5-1build1_i386.deb                  13-Jan-2016 01:45      5M
agda-bin_2.5.3-3build1_amd64.deb                   25-Nov-2017 23:09      5M
agda-bin_2.5.3-3build1_i386.deb                    25-Nov-2017 23:09      5M
agda-bin_2.6.0.1-1build4_amd64.deb                 08-Feb-2020 16:19      6M
agda-bin_2.6.1-1build2.1_amd64.deb                 16-Sep-2021 11:28      9M
agda-bin_2.6.3-1build1_amd64.deb                   10-Nov-2023 23:19     10M
agda-bin_2.6.3-2_amd64.deb                         07-Sep-2024 09:18     10M
agda-bin_2.6.4.3-1_amd64.deb                       26-Oct-2024 00:15     10M
agda-mode_2.3.2.2-1_all.deb                        06-Nov-2013 20:28     47K
agda-mode_2.4.2.5-1build1_all.deb                  13-Jan-2016 01:59     36K
agda-mode_2.5.3-3build1_all.deb                    25-Nov-2017 23:09    3584
agda-mode_2.6.0.1-1build4_all.deb                  08-Feb-2020 16:19    3644
agda_2.3.2.2-1.debian.tar.gz                       06-Nov-2013 20:28    7406
agda_2.3.2.2-1.dsc                                 06-Nov-2013 20:28    3283
agda_2.3.2.2-1_all.deb                             06-Nov-2013 20:28    2996
agda_2.3.2.2.orig.tar.gz                           06-Nov-2013 20:28      2M
agda_2.4.2.5-1build1.debian.tar.xz                 13-Jan-2016 01:30    7848
agda_2.4.2.5-1build1.dsc                           13-Jan-2016 01:30    3826
agda_2.4.2.5-1build1_all.deb                       13-Jan-2016 01:59    2966
agda_2.4.2.5.orig.tar.gz                           05-Jan-2016 02:25   1007K
agda_2.5.3-3build1.debian.tar.xz                   25-Nov-2017 22:15    9800
agda_2.5.3-3build1.dsc                             25-Nov-2017 22:15    4572
agda_2.5.3-3build1_all.deb                         25-Nov-2017 23:09    3052
agda_2.5.3.orig.tar.gz                             01-Nov-2017 16:05      1M
agda_2.6.0.1-1build4.debian.tar.xz                 08-Feb-2020 14:38     10K
agda_2.6.0.1-1build4.dsc                           08-Feb-2020 14:38    4293
agda_2.6.0.1-1build4_all.deb                       08-Feb-2020 16:19    4056
agda_2.6.0.1.orig.tar.gz                           01-Sep-2019 15:43      2M
agda_2.6.1-1build2.1.debian.tar.xz                 16-Sep-2021 10:39     10K
agda_2.6.1-1build2.1.dsc                           16-Sep-2021 10:39    4293
agda_2.6.1-1build2.1_all.deb                       16-Sep-2021 11:28    4134
agda_2.6.1.orig.tar.gz                             30-Jul-2020 02:19      3M
agda_2.6.3-1build1.debian.tar.xz                   08-Nov-2023 12:36     11K
agda_2.6.3-1build1.dsc                             08-Nov-2023 12:36    4939
agda_2.6.3-1build1_all.deb                         10-Nov-2023 23:19    3758
agda_2.6.3-2.debian.tar.xz                         07-Sep-2024 09:18     11K
agda_2.6.3-2.dsc                                   07-Sep-2024 09:18    4945
agda_2.6.3-2_all.deb                               07-Sep-2024 09:18    3724
agda_2.6.3.orig.tar.gz                             26-Oct-2023 18:43      2M
agda_2.6.4.3-1.debian.tar.xz                       25-Oct-2024 22:11     10K
agda_2.6.4.3-1.dsc                                 25-Oct-2024 22:11    5197
agda_2.6.4.3-1_all.deb                             26-Oct-2024 00:15    3736
agda_2.6.4.3.orig.tar.gz                           25-Oct-2024 22:11      2M
elpa-agda2-mode_2.5.3-3build1_all.deb              25-Nov-2017 23:09     40K
elpa-agda2-mode_2.6.0.1-1build4_all.deb            08-Feb-2020 16:19     40K
elpa-agda2-mode_2.6.1-1build2.1_all.deb            16-Sep-2021 11:28     45K
elpa-agda2-mode_2.6.3-1build1_all.deb              10-Nov-2023 23:19     45K
elpa-agda2-mode_2.6.3-2_all.deb                    07-Sep-2024 09:18     45K
elpa-agda2-mode_2.6.4.3-1_all.deb                  26-Oct-2024 00:15     45K
libghc-agda-dev_2.3.2.2-1_amd64.deb                06-Nov-2013 20:28     13M
libghc-agda-dev_2.3.2.2-1_i386.deb                 06-Nov-2013 20:28     12M
libghc-agda-dev_2.4.2.5-1build1_amd64.deb          13-Jan-2016 01:59     10M
libghc-agda-dev_2.4.2.5-1build1_i386.deb           13-Jan-2016 01:45     10M
libghc-agda-dev_2.5.3-3build1_amd64.deb            25-Nov-2017 23:09     15M
libghc-agda-dev_2.5.3-3build1_i386.deb             25-Nov-2017 23:09     15M
libghc-agda-dev_2.6.0.1-1build4_amd64.deb          08-Feb-2020 16:19     19M
libghc-agda-dev_2.6.1-1build2.1_amd64.deb          16-Sep-2021 11:28     38M
libghc-agda-dev_2.6.3-1build1_amd64.deb            10-Nov-2023 23:19     24M
libghc-agda-dev_2.6.3-2_amd64.deb                  07-Sep-2024 09:18     24M
libghc-agda-dev_2.6.4.3-1_amd64.deb                26-Oct-2024 00:15     23M
libghc-agda-doc_2.3.2.2-1_all.deb                  06-Nov-2013 20:28      2M
libghc-agda-doc_2.4.2.5-1build1_all.deb            13-Jan-2016 01:59      2M
libghc-agda-doc_2.5.3-3build1_all.deb              25-Nov-2017 23:09      3M
libghc-agda-doc_2.6.0.1-1build4_all.deb            08-Feb-2020 16:19      4M
libghc-agda-doc_2.6.1-1build2.1_all.deb            16-Sep-2021 11:28      5M
libghc-agda-doc_2.6.3-1build1_all.deb              10-Nov-2023 23:19      6M
libghc-agda-doc_2.6.3-2_all.deb                    07-Sep-2024 09:18      6M
libghc-agda-doc_2.6.4.3-1_all.deb                  26-Oct-2024 00:15      6M