Change log for haskell-presburger package in Ubuntu

114 of 14 results
Published in oracular-release
Published in noble-release
Deleted in noble-proposed (Reason: Moved to noble)
haskell-presburger (1.3.1-10) unstable; urgency=medium

  * Declare compliance with Debian policy 4.6.2
  * Sourceful upload for GHC 9.4

 -- Ilias Tsitsimpis <email address hidden>  Sat, 02 Sep 2023 16:26:08 +0300
Superseded in noble-release
Published in mantic-release
Published in lunar-release
Deleted in lunar-proposed (Reason: Moved to lunar)
haskell-presburger (1.3.1-9build1) lunar; urgency=medium

  * Rebuild against new GHC ABI.

 -- Gianfranco Costamagna <email address hidden>  Sat, 10 Dec 2022 11:36:51 +0100
Superseded in lunar-release
Obsolete in kinetic-release
Deleted in kinetic-proposed (Reason: Moved to kinetic)
haskell-presburger (1.3.1-9) 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:43 +0300
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-presburger (1.3.1-8build2) hirsute; urgency=medium

  * No-change rebuild for new GHC ABIs

 -- Steve Langasek <email address hidden>  Thu, 29 Oct 2020 20:44:32 +0000

Available diffs

Superseded in hirsute-release
Obsolete in groovy-release
Deleted in groovy-proposed (Reason: moved to Release)
haskell-presburger (1.3.1-8build1) groovy; urgency=medium

  * Rebuild against new GHC abi.

 -- Gianfranco Costamagna <email address hidden>  Wed, 22 Jul 2020 14:25:24 +0200
Superseded in groovy-release
Deleted in groovy-proposed (Reason: moved to Release)
haskell-presburger (1.3.1-8) unstable; urgency=medium

  * Sourceful upload for GHC 8.8
  * Backport upstream patch to build with GHC 8.8

 -- Ilias Tsitsimpis <email address hidden>  Tue, 16 Jun 2020 15:19:12 +0300

Available diffs

Superseded in groovy-release
Published in focal-release
Obsolete in eoan-release
Deleted in eoan-proposed (Reason: moved to release)
haskell-presburger (1.3.1-7) unstable; urgency=medium

  * Upstream fixes for new ghc
    - debian/patches/0b7ab4518debdd36add6bb967ef55e6be5dedfb9.patch:
    - debian/patches/fd7746dbc63d427ab5670341cd0fd13cb2c087b6.patch:

 -- Gianfranco Costamagna <email address hidden>  Sun, 25 Aug 2019 10:04:46 +0200
Superseded in eoan-proposed
haskell-presburger (1.3.1-6ubuntu1) eoan; urgency=medium

  * Upstream fixes for new ghc
  * debian/patches/0b7ab4518debdd36add6bb967ef55e6be5dedfb9.patch:
  * debian/patches/fd7746dbc63d427ab5670341cd0fd13cb2c087b6.patch:

 -- Gianfranco Costamagna <email address hidden>  Sun, 25 Aug 2019 10:04:46 +0200

Available diffs

Superseded in eoan-proposed
haskell-presburger (1.3.1-6build1) eoan; urgency=medium

  * Rebuild against new GHC abi.

 -- Gianfranco Costamagna <email address hidden>  Sun, 04 Aug 2019 00:19:08 +0200
Superseded in eoan-release
Obsolete in disco-release
Deleted in disco-proposed (Reason: moved to release)
haskell-presburger (1.3.1-6) unstable; urgency=medium

  * Patch to build with ghc-8.4

 -- Dmitry Bogatov <email address hidden>  Wed, 03 Oct 2018 20:59:01 -0400

Available diffs

Superseded in disco-release
Obsolete in cosmic-release
Deleted in cosmic-proposed (Reason: moved to release)
haskell-presburger (1.3.1-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:01 -0400
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-presburger (1.3.1-3build1) zesty; urgency=medium

  * Rebuild against new GHC ABI.

 -- Gianfranco Costamagna <email address hidden>  Wed, 25 Jan 2017 14:24:34 +0100
Superseded in zesty-release
Deleted in zesty-proposed (Reason: moved to release)
haskell-presburger (1.3.1-3) unstable; urgency=medium

  * Upload to unstable as part of GHC 8 transition.

 -- Clint Adams <email address hidden>  Thu, 27 Oct 2016 18:35:33 -0400

Available diffs

Superseded in zesty-release
Obsolete in yakkety-release
Published in xenial-release
Deleted in xenial-proposed (Reason: moved to release)
haskell-presburger (1.3.1-1) unstable; urgency=low

  * Initial release.

 -- Clint Adams <email address hidden>  Tue, 15 Dec 2015 12:38:15 -0500
114 of 14 results