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.

../ haskell-smtlib_1.0.7-3.debian.tar.xz 04-Dec-2015 14:25 2032 haskell-smtlib_1.0.7-3.dsc 04-Dec-2015 14:25 2286 haskell-smtlib_1.0.7.orig.tar.gz 24-Oct-2015 01:45 9484 haskell-smtlib_1.0.8-3build1.debian.tar.xz 24-Jan-2017 13:50 2280 haskell-smtlib_1.0.8-3build1.dsc 24-Jan-2017 13:50 2197 haskell-smtlib_1.0.8.orig.tar.gz 03-Jun-2016 14:46 9533 haskell-smtlib_1.0.9-2build1.debian.tar.xz 03-Aug-2019 14:13 2572 haskell-smtlib_1.0.9-2build1.dsc 03-Aug-2019 14:13 2232 haskell-smtlib_1.0.9.orig.tar.gz 03-Jul-2018 20:13 9583 haskell-smtlib_1.1-1build2.debian.tar.xz 30-Oct-2020 05:20 2692 haskell-smtlib_1.1-1build2.dsc 30-Oct-2020 05:20 2334 haskell-smtlib_1.1-3.debian.tar.xz 04-Nov-2023 20:07 2604 haskell-smtlib_1.1-3.dsc 04-Nov-2023 20:07 2223 haskell-smtlib_1.1-3build1.debian.tar.xz 15-May-2024 11:39 2664 haskell-smtlib_1.1-3build1.dsc 15-May-2024 11:39 2218 haskell-smtlib_1.1-4.debian.tar.xz 21-Oct-2024 08:08 2624 haskell-smtlib_1.1-4.dsc 21-Oct-2024 08:08 2225 haskell-smtlib_1.1.orig.tar.gz 09-Jun-2020 02:18 9667 libghc-smtlib-dev_1.0.7-3_amd64.deb 05-Dec-2015 18:05 217K libghc-smtlib-dev_1.0.7-3_i386.deb 05-Dec-2015 18:07 205K libghc-smtlib-dev_1.0.8-3build1_amd64.deb 24-Jan-2017 14:44 426K libghc-smtlib-dev_1.0.8-3build1_i386.deb 24-Jan-2017 14:47 402K libghc-smtlib-dev_1.0.9-2build1_amd64.deb 03-Aug-2019 14:24 452K libghc-smtlib-dev_1.1-1build2_amd64.deb 30-Oct-2020 05:25 450K libghc-smtlib-dev_1.1-3_amd64.deb 04-Nov-2023 20:07 462K libghc-smtlib-dev_1.1-3build1_amd64.deb 15-May-2024 12:25 462K libghc-smtlib-dev_1.1-4_amd64.deb 21-Oct-2024 08:09 437K libghc-smtlib-doc_1.0.7-3_all.deb 05-Dec-2015 18:05 44K libghc-smtlib-doc_1.0.8-3build1_all.deb 24-Jan-2017 14:44 50K libghc-smtlib-doc_1.0.9-2build1_all.deb 03-Aug-2019 14:24 66K libghc-smtlib-doc_1.1-1build2_all.deb 30-Oct-2020 05:25 81K libghc-smtlib-doc_1.1-3_all.deb 04-Nov-2023 20:07 81K libghc-smtlib-doc_1.1-3build1_all.deb 15-May-2024 12:25 81K libghc-smtlib-doc_1.1-4_all.deb 21-Oct-2024 08:09 81K libghc-smtlib-prof_1.0.7-3_amd64.deb 05-Dec-2015 18:05 166K libghc-smtlib-prof_1.0.7-3_i386.deb 05-Dec-2015 18:07 171K libghc-smtlib-prof_1.0.8-3build1_amd64.deb 24-Jan-2017 14:44 367K libghc-smtlib-prof_1.0.8-3build1_i386.deb 24-Jan-2017 14:47 364K libghc-smtlib-prof_1.0.9-2build1_amd64.deb 03-Aug-2019 14:24 381K libghc-smtlib-prof_1.1-1build2_amd64.deb 30-Oct-2020 05:25 380K libghc-smtlib-prof_1.1-3_amd64.deb 04-Nov-2023 20:07 408K libghc-smtlib-prof_1.1-3build1_amd64.deb 15-May-2024 12:25 408K libghc-smtlib-prof_1.1-4_amd64.deb 21-Oct-2024 08:09 403K

These releases of Ubuntu are available

Standard support

LTS Releases

Interim Releases

Extended Security Maintenance (ESM)

Index of /ubuntu/pool/universe/h/haskell-smtlib/