presburger: patch to build with ghc-8.4

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 ]

Index: haskell-presburger/src/Data/Integer/SAT.hs

===================================================================

--- haskell-presburger.orig/src/Data/Integer/SAT.hs

+++ haskell-presburger/src/Data/Integer/SAT.hs

@@ -43,6 +43,7 @@ module Data.Integer.SAT

 import Debug.Trace

+import           Prelude hiding ((<>))

 import           Data.Map (Map)

 import qualified Data.Map as Map

 import           Data.List(partition)

fix-build-with-ghc-8.4.patch