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

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

../
agda-stdlib-doc_0.11-1_all.deb                     05-Jan-2016 04:20      1M
agda-stdlib-doc_0.14-1_all.deb                     26-Nov-2017 21:04      1M
agda-stdlib-doc_0.7-2_all.deb                      28-May-2013 02:33      2M
agda-stdlib-doc_1.1-1_all.deb                      06-Sep-2019 18:48      2M
agda-stdlib-doc_1.3-2_all.deb                      02-Aug-2020 08:43      2M
agda-stdlib-doc_1.7.3-1_all.deb                    11-Nov-2023 02:50      3M
agda-stdlib-doc_2.1-4_all.deb                      26-Nov-2024 03:17      3M
agda-stdlib_0.11-1.debian.tar.xz                   05-Jan-2016 02:25    4600
agda-stdlib_0.11-1.dsc                             05-Jan-2016 02:25    2105
agda-stdlib_0.11-1_all.deb                         05-Jan-2016 04:20     17M
agda-stdlib_0.11.orig.tar.gz                       05-Jan-2016 02:25    247K
agda-stdlib_0.14-1.debian.tar.xz                   26-Nov-2017 20:08    5188
agda-stdlib_0.14-1.dsc                             26-Nov-2017 20:08    2100
agda-stdlib_0.14-1_all.deb                         26-Nov-2017 21:04     17M
agda-stdlib_0.14.orig.tar.gz                       26-Nov-2017 14:14    279K
agda-stdlib_0.7-2.debian.tar.gz                    28-May-2013 02:33    4455
agda-stdlib_0.7-2.dsc                              28-May-2013 02:33    2077
agda-stdlib_0.7-2_all.deb                          28-May-2013 02:33     17M
agda-stdlib_0.7.orig.tar.gz                        10-Apr-2013 21:03    221K
agda-stdlib_1.1-1.debian.tar.xz                    06-Sep-2019 18:48    5528
agda-stdlib_1.1-1.dsc                              06-Sep-2019 18:48    2117
agda-stdlib_1.1-1_all.deb                          06-Sep-2019 18:48     45M
agda-stdlib_1.1.orig.tar.gz                        04-Sep-2019 16:38    557K
agda-stdlib_1.3-2.debian.tar.xz                    02-Aug-2020 08:13    5640
agda-stdlib_1.3-2.dsc                              02-Aug-2020 08:13    2113
agda-stdlib_1.3-2_all.deb                          02-Aug-2020 08:43     70M
agda-stdlib_1.3.orig.tar.gz                        02-Aug-2020 02:33    734K
agda-stdlib_1.7.3-1.debian.tar.xz                  04-Nov-2023 21:15    5732
agda-stdlib_1.7.3-1.dsc                            04-Nov-2023 21:15    2157
agda-stdlib_1.7.3-1_all.deb                        11-Nov-2023 02:50    115M
agda-stdlib_1.7.3.orig.tar.gz                      04-Nov-2023 21:15    920K
agda-stdlib_2.1-4.debian.tar.xz                    26-Nov-2024 03:17    6060
agda-stdlib_2.1-4.dsc                              26-Nov-2024 03:17    2224
agda-stdlib_2.1-4_all.deb                          26-Nov-2024 03:17    140M
agda-stdlib_2.1.orig.tar.gz                        31-Oct-2024 20:16      1M