haskell-presburger (1.3.1-3build1) zesty; urgency=medium * Rebuild against new GHC ABI. -- Gianfranco Costamagna Wed, 25 Jan 2017 14:24:34 +0100 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