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

Index of /ubuntu/pool/universe/c/coq/


../
coq-theories_8.11.0-1_amd64.deb                    06-Mar-2020 11:38     32M
coq-theories_8.4pl3dfsg-1_all.deb                  20-Jan-2014 02:58     30M
coq-theories_8.4pl4dfsg-3build2_all.deb            04-Nov-2015 17:04     31M
coq-theories_8.6-5build1_amd64.deb                 28-Oct-2017 18:34     32M
coq-theories_8.6-5build1_i386.deb                  28-Oct-2017 18:34     31M
coq_8.11.0-1.debian.tar.xz                         06-Mar-2020 10:53     31K
coq_8.11.0-1.dsc                                   06-Mar-2020 10:53    2496
coq_8.11.0-1_amd64.deb                             06-Mar-2020 11:38     73M
coq_8.11.0.orig.tar.gz                             06-Mar-2020 10:53      6M
coq_8.15.0+dfsg-2.debian.tar.xz                    05-Feb-2022 20:49     39K
coq_8.15.0+dfsg-2.dsc                              05-Feb-2022 20:49    2599
coq_8.15.0+dfsg-2_amd64.deb                        06-Feb-2022 02:52     91M
coq_8.15.0+dfsg.orig.tar.xz                        18-Jan-2022 02:14      4M
coq_8.18.0+dfsg-1build2.debian.tar.xz              31-Mar-2024 21:36     33K
coq_8.18.0+dfsg-1build2.dsc                        31-Mar-2024 21:36    2685
coq_8.18.0+dfsg-1build2_amd64.deb                  31-Mar-2024 22:32     91M
coq_8.18.0+dfsg.orig.tar.xz                        22-Dec-2023 22:46      5M
coq_8.19.1+dfsg-3build3.debian.tar.xz              07-Sep-2024 10:08     32K
coq_8.19.1+dfsg-3build3.dsc                        07-Sep-2024 10:08    2572
coq_8.19.1+dfsg-3build3_amd64.deb                  07-Sep-2024 10:09     96M
coq_8.19.1+dfsg.orig.tar.bz2                       02-May-2024 14:53      5M
coq_8.20.1+dfsg-1.debian.tar.xz                    18-Feb-2025 04:39     30K
coq_8.20.1+dfsg-1.dsc                              18-Feb-2025 04:39    2582
coq_8.20.1+dfsg-1_amd64.deb                        18-Feb-2025 04:40     78M
coq_8.20.1+dfsg.orig.tar.xz                        18-Feb-2025 04:39      5M
coq_8.4pl3dfsg-1.debian.tar.xz                     20-Jan-2014 02:18     15K
coq_8.4pl3dfsg-1.dsc                               20-Jan-2014 02:18    2356
coq_8.4pl3dfsg-1_amd64.deb                         20-Jan-2014 02:58      4M
coq_8.4pl3dfsg-1_i386.deb                          20-Jan-2014 02:58      4M
coq_8.4pl3dfsg.orig.tar.gz                         20-Jan-2014 02:18      3M
coq_8.4pl4dfsg-3build2.debian.tar.xz               04-Nov-2015 16:14     16K
coq_8.4pl4dfsg-3build2.dsc                         04-Nov-2015 16:14    2398
coq_8.4pl4dfsg-3build2_amd64.deb                   04-Nov-2015 17:04      4M
coq_8.4pl4dfsg-3build2_i386.deb                    04-Nov-2015 16:39      4M
coq_8.4pl4dfsg.orig.tar.gz                         28-Jul-2014 02:13      3M
coq_8.6-5build1.debian.tar.xz                      28-Oct-2017 17:39     21K
coq_8.6-5build1.dsc                                28-Oct-2017 17:39    2403
coq_8.6-5build1_amd64.deb                          28-Oct-2017 18:34     17M
coq_8.6-5build1_i386.deb                           28-Oct-2017 18:34     16M
coq_8.6.orig.tar.gz                                28-Dec-2016 20:13      5M
coqide_8.11.0-1_amd64.deb                          06-Mar-2020 11:38      2M
coqide_8.15.0+dfsg-2_amd64.deb                     06-Feb-2022 02:51      2M
coqide_8.18.0+dfsg-1build2_amd64.deb               31-Mar-2024 22:32      2M
coqide_8.19.1+dfsg-3build3_amd64.deb               07-Sep-2024 10:09      2M
coqide_8.20.1+dfsg-1_amd64.deb                     18-Feb-2025 04:40      2M
coqide_8.4pl3dfsg-1_amd64.deb                      20-Jan-2014 02:58    727K
coqide_8.4pl3dfsg-1_i386.deb                       20-Jan-2014 02:58    662K
coqide_8.4pl4dfsg-3build2_amd64.deb                04-Nov-2015 17:04    731K
coqide_8.4pl4dfsg-3build2_i386.deb                 04-Nov-2015 16:39    695K
coqide_8.6-5build1_amd64.deb                       28-Oct-2017 18:34      1M
coqide_8.6-5build1_i386.deb                        28-Oct-2017 18:34      1M
libcoq-core-ocaml-dev_8.15.0+dfsg-2_amd64.deb      06-Feb-2022 02:51     43M
libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_amd64..> 31-Mar-2024 22:32     49M
libcoq-core-ocaml-dev_8.19.1+dfsg-3build3_amd64..> 07-Sep-2024 10:09     65M
libcoq-core-ocaml-dev_8.20.1+dfsg-1_amd64.deb      18-Feb-2025 04:40     66M
libcoq-core-ocaml_8.15.0+dfsg-2_amd64.deb          06-Feb-2022 02:51     26M
libcoq-core-ocaml_8.18.0+dfsg-1build2_amd64.deb    31-Mar-2024 22:32     26M
libcoq-core-ocaml_8.19.1+dfsg-3build3_amd64.deb    07-Sep-2024 10:09     25M
libcoq-core-ocaml_8.20.1+dfsg-1_amd64.deb          18-Feb-2025 04:40     26M
libcoq-ocaml-dev_8.11.0-1_amd64.deb                06-Mar-2020 11:38     15M
libcoq-ocaml-dev_8.4pl3dfsg-1_amd64.deb            20-Jan-2014 02:58      3M
libcoq-ocaml-dev_8.4pl3dfsg-1_i386.deb             20-Jan-2014 02:58      3M
libcoq-ocaml-dev_8.4pl4dfsg-3build2_amd64.deb      04-Nov-2015 17:04      4M
libcoq-ocaml-dev_8.4pl4dfsg-3build2_i386.deb       04-Nov-2015 16:39      4M
libcoq-ocaml-dev_8.6-5build1_amd64.deb             28-Oct-2017 18:34     13M
libcoq-ocaml-dev_8.6-5build1_i386.deb              28-Oct-2017 18:34     13M
libcoq-ocaml_8.11.0-1_amd64.deb                    06-Mar-2020 11:38      6M
libcoq-ocaml_8.4pl3dfsg-1_amd64.deb                20-Jan-2014 02:58      2M
libcoq-ocaml_8.4pl3dfsg-1_i386.deb                 20-Jan-2014 02:58      1M
libcoq-ocaml_8.4pl4dfsg-3build2_amd64.deb          04-Nov-2015 17:04      1M
libcoq-ocaml_8.4pl4dfsg-3build2_i386.deb           04-Nov-2015 16:39      1M
libcoq-ocaml_8.6-5build1_amd64.deb                 28-Oct-2017 18:34      3M
libcoq-ocaml_8.6-5build1_i386.deb                  28-Oct-2017 18:34      3M
libcoq-stdlib_8.15.0+dfsg-2_amd64.deb              06-Feb-2022 02:51     24M
libcoq-stdlib_8.18.0+dfsg-1build2_amd64.deb        31-Mar-2024 22:32     25M
libcoq-stdlib_8.19.1+dfsg-3build3_amd64.deb        07-Sep-2024 10:09     26M
libcoq-stdlib_8.20.1+dfsg-1_amd64.deb              18-Feb-2025 04:40     26M