diff --git a/djinn-lib.cabal b/djinn-lib.cabal
--- a/djinn-lib.cabal
+++ b/djinn-lib.cabal
@@ -1,6 +1,6 @@
 name:           djinn-lib
-version:        0.0.1.2
-cabal-version:  >= 1.2
+version:        0.0.1.3
+cabal-version:  >= 1.6
 license:        BSD3
 license-file:	LICENSE
 author:	        Lennart Augustsson
@@ -23,3 +23,7 @@
                    Djinn.HTypes,
                    Djinn.LJT,
                    Djinn.LJTFormula
+
+source-repository head
+  type:     git
+  location: https://github.com/serras/djinn-lib
diff --git a/src/Djinn/HTypes.hs b/src/Djinn/HTypes.hs
--- a/src/Djinn/HTypes.hs
+++ b/src/Djinn/HTypes.hs
@@ -1,3 +1,4 @@
+{-# LANGUAGE CPP #-}
 --
 -- Copyright (c) 2005 Lennart Augustsson
 -- See LICENSE for licensing details.
@@ -30,6 +31,9 @@
 import Control.Monad (zipWithM)
 import Data.Char (isAlpha, isAlphaNum, isUpper)
 import Data.List (union, (\\))
+#ifdef MIN_VERSION_base(4,11,0)
+import Prelude hiding ((<>))
+#endif
 import Text.ParserCombinators.ReadP
 import Text.PrettyPrint.HughesPJ (Doc, comma, fsep, nest, parens,
                                   punctuate, renderStyle, sep,