haskell-presburger (1.3.1-7) unstable; urgency=medium * Upstream fixes for new ghc - debian/patches/0b7ab4518debdd36add6bb967ef55e6be5dedfb9.patch: - debian/patches/fd7746dbc63d427ab5670341cd0fd13cb2c087b6.patch: -- Gianfranco Costamagna 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 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 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 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 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 Sun, 16 Oct 2016 14:18:45 -0400 haskell-presburger (1.3.1-1) unstable; urgency=low * Initial release. -- Clint Adams Tue, 15 Dec 2015 12:38:15 -0500