Folly 0.1.4.2 → 0.1.4.3

raw patch · 1 files changed

+2/−2 lines, 1 files

Files

• Folly.cabal +2/−2

@@ -2,7 +2,7 @@ --  see http://haskell.org/cabal/users-guide/  name:                Folly-version:             0.1.4.2+version:             0.1.4.3 synopsis:            A first order logic library in Haskell description:         An implementation of first order logic in Haskell that 		     includes a library of modules for incorporating first@@ -21,7 +21,7 @@  library   exposed-modules:     Folly.Formula, Folly.Unification, Folly.Resolution, Folly.Utils, Folly.Theorem, Folly.Lexer, Folly.Parser-  build-depends:       base < 6, containers+  build-depends:       base < 6, containers, parsec   hs-source-dirs:      src  executable Folly