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