packages feed

Cabal revisions of boolsimplifier-0.1.7

Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.

revision 1
-Name:                boolsimplifier-Version:             0.1.7-Synopsis:            Simplification tools for simple propositional formulas.--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--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.6---Library-  -- Modules exported by the library.-  Exposed-modules:     Data.BoolSimplifier-  -  -- Packages needed in order to build this package.-  Build-depends: base >= 4, base < 7, containers >= 0.4-  -  ghc-options: -Wall--  -- Modules not exported by this package.-  -- Other-modules:       -  -  -- 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+Name:                boolsimplifier
+Version:             0.1.7
+x-revision: 1
+Synopsis:            Simplification tools for simple propositional formulas.
+
+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
+
+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.6
+
+
+Library
+  -- Triggers bugs in GHC 7.10.[23] and GHC 7.6.*
+  -- https://ghc.haskell.org/trac/ghc/ticket/10562
+  build-depends: base < 4.8.1 || >= 4.9
+  build-depends: base < 4.6 || >= 4.7
+
+  -- Modules exported by the library.
+  Exposed-modules:     Data.BoolSimplifier
+  
+  -- Packages needed in order to build this package.
+  Build-depends: base >= 4, base < 5, containers >= 0.4
+  
+  ghc-options: -Wall
+
+  -- Modules not exported by this package.
+  -- Other-modules:       
+  
+  -- 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