packages feed

PropLogic 0.9.0.1 → 0.9.0.2

raw patch · 1 files changed

+2/−2 lines, 1 filesPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

API changes (from Hackage documentation)

- Main: main :: IO ()

Files

PropLogic.cabal view
@@ -1,5 +1,5 @@ Name:           PropLogic-Version:        0.9.0.1+Version:        0.9.0.2 Cabal-Version:  >= 1.2 Build-type:     Simple License:        BSD3@@ -17,7 +17,7 @@  Library   exposed-modules:-    PropLogic, Olist, PropLogicCore, DefaultPropLogic, FastPropLogic, PropLogicTest, Main+    PropLogic, Olist, PropLogicCore, DefaultPropLogic, FastPropLogic, PropLogicTest   other-modules:     TextDisplay, Costack   build-depends: