logic-TPTP 0.3.0.0 → 0.3.0.1

raw patch · 2 files changed

+9/−2 lines, 2 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

Util.hs +7/−1
logic-TPTP.cabal +2/−1

Util.hs view

@@ -1,8 +1,14 @@-{-# LANGUAGE ScopedTypeVariables #-}+{-# LANGUAGE ScopedTypeVariables, CPP #-} {-# OPTIONS -Wall #-} module Util where  import Data.Typeable++#if MIN_VERSION_base(4,4,0)++#else+mkTyCon3 _ m t = mkTyCon $ m++"."++t+#endif  packageName :: String packageName = "logic-TPTP"

logic-TPTP.cabal view

@@ -1,5 +1,5 @@ name: logic-TPTP    -version: 0.3.0.0+version: 0.3.0.1 cabal-version: >= 1.6 build-type: Simple license: GPL@@ -43,6 +43,7 @@                     MACROS.h  tested-with: GHC==7.2.1+tested-with: GHC==7.0.4  source-repository head  type: darcs