KiCS-prophecy 0.1.0 → 0.1.1

raw patch · 2 files changed

+8/−3 lines, 2 filesdep ~KiCS

Dependency ranges changed: KiCS

Files

• Curry/Files/ProphecyPath.hs +6/−1
• KiCS-prophecy.cabal +2/−2

@@ -1,6 +1,7 @@ module Curry.Files.ProphecyPath    (getProphecy   ,getOracleLibDir+  ,getOracleLibBaseDir   ,prophecyVersion   ) where @@ -14,4 +15,8 @@   execDir <- getBinDir   return (execDir </> "prophecy") -getOracleLibDir = getDataDir+getOracleLibBaseDir = getDataDir++getOracleLibDir = do+  dir <- getDataDir+  return (dir </> "Curry" </> "Module")

@@ -1,5 +1,5 @@ Name:          KiCS-prophecy-Version:       0.1.0+Version:       0.1.1 Cabal-Version: >= 1.6 Author:        Bernd Braßel Maintainer:    Bernd Braßel@@ -49,7 +49,7 @@   hs-source-dirs: ., .curry/kics   Build-Depends:       base == 4.1.*,-    KiCS >= 0.9.0+    KiCS >= 0.9.1   Other-Modules:     Curry.Module.AddWorld     Curry.Module.Wrapper