hatt 1.4.0.1 → 1.4.0.2
raw patch · 3 files changed
+6/−6 lines, 3 filesdep ~parsecPVP ok
version bump matches the API change (PVP)
Dependency ranges changed: parsec
API changes (from Hackage documentation)
Files
- LICENSE +1/−1
- hatt.cabal +4/−4
- src/hatt.hs +1/−1
LICENSE view
@@ -1,4 +1,4 @@-Copyright (c)2011, Benedict Eastaugh+Copyright (c) 2011, Benedict Eastaugh All rights reserved.
hatt.cabal view
@@ -1,5 +1,5 @@ Name: hatt-Version: 1.4.0.1+Version: 1.4.0.2 Synopsis: A truth table generator for classical propositional logic. Description: Hatt is a command-line program which prints truth tables@@ -10,7 +10,7 @@ License-file: LICENSE Author: Benedict Eastaugh Maintainer: benedict@eastaugh.net-Copyright: (c) 2011 Benedict Eastaugh+Copyright: (c) 2012 Benedict Eastaugh Homepage: http://extralogical.net/projects/hatt Category: Logic Cabal-version: >= 1.6@@ -27,7 +27,7 @@ GHC-options: -Wall Build-depends: base >= 4 && < 5, containers >= 0.3 && < 0.5,- parsec >= 2.1 && < 2.2,+ parsec >= 2.1 && < 3.2, ansi-wl-pprint >= 0.6 && < 0.7 Exposed-modules: Data.Logic.Propositional Other-modules: Data.Logic.Propositional.Core,@@ -41,6 +41,6 @@ Build-depends: base >= 4 && < 5, cmdargs >= 0.7, containers >= 0.3 && < 0.5,- parsec >= 2.1 && < 2.2,+ parsec >= 2.1 && < 3.2, ansi-wl-pprint >= 0.6 && < 0.7, haskeline >= 0.6 && < 0.7
src/hatt.hs view
@@ -31,7 +31,7 @@ , interactive = False &= help "Enter interactive mode" , pretty = False &= help "Use Unicode logic symbols" , coloured = False &= help "Use colour-coded symbols"- } &= summary "Hatt 1.4.0.1, (c) Benedict Eastaugh 2011"+ } &= summary "Hatt 1.4.0.2, (c) Benedict Eastaugh 2012" &= program "hatt" main :: IO ()