boolsimplifier 0.1 → 0.1.5

raw patch · 1 files changed

+8/−7 lines, 1 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

• boolsimplifier.cabal +8/−7

@@ -1,24 +1,22 @@ Name:                boolsimplifier-Version:             0.1-Synopsis:            Normal form representation for boolean expressions. Typically simplifies such expressions, but is not guaranteed to produce the absolute simplest form.+Version:             0.1.5+Synopsis:            Simplification tools for simple propositional formuals. --- A longer description of the package.--- Description:         +Description:         Normal form representation for boolean expressions. Typically simplifies such expressions, but is not guaranteed to produce the absolute simplest form.  License:             BSD3 License-file:        LICENSE Author:              Gershom Bazerman, Jeff Polakow Maintainer:          gershomb@gmail.com --- A copyright notice.--- Copyright:           +Copyright:           Gershom Bazerman, Jeff Polakow 2011  Category:            Math, Language  Build-type:          Simple  -- Constraint on the version of Cabal needed to build this package.-Cabal-version:       >=1.2+Cabal-version:       >=1.6   Library@@ -36,3 +34,6 @@   -- Extra tools (e.g. alex, hsc2hs, ...) needed to build the source.   -- Build-tools:            +source-repository head+  type:      darcs+  location:  http://patch-tag.com/r/gershomb/boolsimplifier