PropLogic 0.9.0.3 → 0.9.0.4

raw patch · 1 files changed

+3/−1 lines, 1 files

Files

• PropLogic.cabal +3/−1

@@ -1,5 +1,5 @@ Name:           PropLogic-Version:        0.9.0.3+Version:        0.9.0.4 Cabal-Version:  >= 1.9 Build-type:     Simple License:        BSD3@@ -25,6 +25,8 @@  Executable program   Main-Is: Main.hs+  build-depends:+    base < 5, old-time, random  source-repository head   type:     darcs