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

# Older entries have been removed from this changelog.
# To read the complete changelog use `apt changelog libghc-presburger-dev`.
