djinn: Patch to build with ghc-8.4

djinn (2014.9.7-9) unstable; urgency=medium

  * Patch to build with ghc-8.4

 -- Ilias Tsitsimpis <iliastsi@debian.org>  Thu, 04 Oct 2018 19:10:56 +0300

djinn (2014.9.7-8) unstable; urgency=medium

  [ Clint Adams ]

Index: b/src/HTypes.hs

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

--- a/src/HTypes.hs

+++ b/src/HTypes.hs

@@ -14,6 +14,7 @@ import Data.List(union, (\\))

 import Control.Monad(zipWithM)

 import Text.ParserCombinators.ReadP

 import LJTFormula

+import Prelude hiding ((<>))

 --import Debug.Trace

newer-base