Change log for haskell-smtlib package in Ubuntu
| 1 → 16 of 16 results | First • Previous • Next • Last |
haskell-smtlib (1.1-3) unstable; urgency=medium * Remove developer Kristoffer H Rose from Uploaders. * Declare compliance with Debian policy 4.6.2 * Sourceful upload for GHC 9.4 -- Ilias Tsitsimpis <email address hidden> Sun, 27 Aug 2023 12:40:08 +0300
Available diffs
- diff from 1.1-2build2 (in Ubuntu) to 1.1-3 (810 bytes)
| Superseded in noble-release |
| Published in mantic-release |
| Published in lunar-release |
| Deleted in lunar-proposed (Reason: Moved to lunar) |
haskell-smtlib (1.1-2build2) lunar; urgency=medium * Rebuild against new GHC ABI. -- Gianfranco Costamagna <email address hidden> Fri, 09 Dec 2022 14:21:10 +0100
Available diffs
- diff from 1.1-2 (in Debian) to 1.1-2build2 (368 bytes)
- diff from 1.1-2build1 to 1.1-2build2 (315 bytes)
| Superseded in lunar-proposed |
haskell-smtlib (1.1-2build1) lunar; urgency=medium * Rebuild against new OCAML ABI. -- Gianfranco Costamagna <email address hidden> Thu, 08 Dec 2022 21:49:08 +0100
Available diffs
- diff from 1.1-2 (in Debian) to 1.1-2build1 (342 bytes)
| Superseded in lunar-release |
| Obsolete in kinetic-release |
| Deleted in kinetic-proposed (Reason: Moved to kinetic) |
haskell-smtlib (1.1-2) unstable; urgency=medium * Declare compliance with Debian policy 4.6.1 * Sourceful upload for GHC 9.0.2 -- Ilias Tsitsimpis <email address hidden> Wed, 29 Jun 2022 20:45:46 +0300
Available diffs
- diff from 1.1-1build2 (in Ubuntu) to 1.1-2 (856 bytes)
| Superseded in kinetic-release |
| Published in jammy-release |
| Obsolete in impish-release |
| Obsolete in hirsute-release |
| Deleted in hirsute-proposed (Reason: moved to Release) |
haskell-smtlib (1.1-1build2) hirsute; urgency=medium * No-change rebuild for new GHC ABIs -- Steve Langasek <email address hidden> Fri, 30 Oct 2020 01:32:48 +0000
Available diffs
- diff from 1.1-1build1 to 1.1-1build2 (326 bytes)
| Superseded in hirsute-release |
| Obsolete in groovy-release |
| Deleted in groovy-proposed (Reason: moved to Release) |
haskell-smtlib (1.1-1build1) groovy; urgency=medium * No change rebuild against new ghc ABI. -- Dimitri John Ledkov <email address hidden> Tue, 21 Jul 2020 14:31:54 +0100
Available diffs
- diff from 1.1-1 (in Debian) to 1.1-1build1 (504 bytes)
haskell-smtlib (1.1-1) unstable; urgency=medium * New upstream release -- Ilias Tsitsimpis <email address hidden> Mon, 08 Jun 2020 16:55:19 +0300
Available diffs
| Superseded in groovy-release |
| Published in focal-release |
| Obsolete in eoan-release |
| Deleted in eoan-proposed (Reason: moved to release) |
haskell-smtlib (1.0.9-2build1) eoan; urgency=medium * Rebuild against new GHC abi. -- Gianfranco Costamagna <email address hidden> Sat, 03 Aug 2019 13:08:39 +0200
Available diffs
- diff from 1.0.9-2 (in Debian) to 1.0.9-2build1 (336 bytes)
| Superseded in eoan-release |
| Obsolete in disco-release |
| Deleted in disco-proposed (Reason: moved to release) |
haskell-smtlib (1.0.9-2) unstable; urgency=medium * Bump debhelper compat level to 10 -- Ilias Tsitsimpis <email address hidden> Sun, 30 Sep 2018 21:20:57 +0300
Available diffs
- diff from 1.0.9-1 to 1.0.9-2 (450 bytes)
| Superseded in disco-release |
| Obsolete in cosmic-release |
| Deleted in cosmic-proposed (Reason: moved to release) |
haskell-smtlib (1.0.9-1) unstable; urgency=medium * Set Rules-Requires-Root to no. * New upstream release -- Clint Adams <email address hidden> Tue, 03 Jul 2018 08:19:45 -0400
Available diffs
- diff from 1.0.8-4 to 1.0.9-1 (914 bytes)
haskell-smtlib (1.0.8-4) unstable; urgency=medium
[ Ilias Tsitsimpis ]
* Change Priority to optional. Since Debian Policy version 4.0.1,
priority extra has been deprecated.
* Use the HTTPS form of the copyright-format URL
* Modify d/watch and Source field in d/copyright to use HTTPS
* Declare compliance with Debian policy 4.1.1
* Use salsa.debian.org URLs in Vcs-{Browser,Git} fields
[ Clint Adams ]
* Bump to Standards-Version 4.1.4.
-- Clint Adams <email address hidden> Mon, 09 Apr 2018 20:05:04 -0400
Available diffs
| Superseded in cosmic-release |
| Published in bionic-release |
| Obsolete in artful-release |
| Obsolete in zesty-release |
| Deleted in zesty-proposed (Reason: moved to release) |
haskell-smtlib (1.0.8-3build1) zesty; urgency=medium * Rebuild against new GHC ABI. -- Gianfranco Costamagna <email address hidden> Tue, 24 Jan 2017 11:47:22 +0100
Available diffs
- diff from 1.0.8-3 (in Debian) to 1.0.8-3build1 (345 bytes)
haskell-smtlib (1.0.8-3) unstable; urgency=medium * Upload to unstable as part of GHC 8 transition. -- Clint Adams <email address hidden> Thu, 27 Oct 2016 18:36:08 -0400
Available diffs
- diff from 1.0.8-1 to 1.0.8-3 (895 bytes)
| Superseded in zesty-release |
| Obsolete in yakkety-release |
| Deleted in yakkety-proposed (Reason: moved to release) |
haskell-smtlib (1.0.8-1) unstable; urgency=medium [ Dmitry Bogatov ] * Use secure (https) uri in Vcs-Git field in 'debian/control' * Bump standards version to 3.9.8 (no changes needed) [ Joachim Breitner ] * New upstream release -- Joachim Breitner <email address hidden> Mon, 30 May 2016 17:06:12 +0200
Available diffs
- diff from 1.0.7-3 to 1.0.8-1 (2.1 KiB)
| Superseded in yakkety-release |
| Published in xenial-release |
| Deleted in xenial-proposed (Reason: moved to release) |
haskell-smtlib (1.0.7-3) unstable; urgency=medium * Add missing Vcs-Git/Vcs-Browser headers. -- Clint Adams <email address hidden> Thu, 03 Dec 2015 14:55:04 -0500
Available diffs
- diff from 1.0.7-1 to 1.0.7-3 (684 bytes)
haskell-smtlib (1.0.7-1) unstable; urgency=low * Initial release. -- Kristoffer H Rose <email address hidden> Fri, 14 Aug 2015 15:30:06 +0200
| 1 → 16 of 16 results | First • Previous • Next • Last |
