haskell-presburger (1.3.1-11) unstable; urgency=medium

  * Declare compliance with Debian policy 4.7.0
  * Sourceful upload for GHC 9.6

 -- Ilias Tsitsimpis <iliastsi@debian.org>  Thu, 19 Sep 2024 10:40:51 +0300

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 <iliastsi@debian.org>  Sat, 02 Sep 2023 16:26:08 +0300

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 <iliastsi@debian.org>  Wed, 29 Jun 2022 20:45:43 +0300

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 <iliastsi@debian.org>  Tue, 16 Jun 2020 15:19:12 +0300

haskell-presburger (1.3.1-7) unstable; urgency=medium

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

 -- Gianfranco Costamagna <locutusofborg@debian.org>  Sun, 25 Aug 2019 10:04:46 +0200

haskell-presburger (1.3.1-6) unstable; urgency=medium

  * Patch to build with ghc-8.4

 -- Dmitry Bogatov <KAction@gnu.org>  Wed, 03 Oct 2018 20:59:01 -0400

haskell-presburger (1.3.1-5) unstable; urgency=medium

  [ Clint Adams ]
  * Set Rules-Requires-Root to no.

  [ Ilias Tsitsimpis ]
  * Bump debhelper compat level to 10

 -- Ilias Tsitsimpis <iliastsi@debian.org>  Sun, 30 Sep 2018 21:18:06 +0300

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 <clint@debian.org>  Mon, 09 Apr 2018 20:05:01 -0400

haskell-presburger (1.3.1-3) unstable; urgency=medium

  * Upload to unstable as part of GHC 8 transition.

 -- Clint Adams <clint@debian.org>  Thu, 27 Oct 2016 18:35:33 -0400

haskell-presburger (1.3.1-2) experimental; urgency=medium

  [ Dmitry Bogatov ]
  * Bump standards version to 3.9.8 (no changes needed)

  [ Clint Adams ]
  * Temporarily build-depend on ghc 8.

 -- Clint Adams <clint@debian.org>  Sun, 16 Oct 2016 14:18:45 -0400

haskell-presburger (1.3.1-1) unstable; urgency=low

  * Initial release.

 -- Clint Adams <clint@debian.org>  Tue, 15 Dec 2015 12:38:15 -0500