packages feed

Cabal revisions of boolean-normal-forms-0.0.1

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

revision 1
 name:                boolean-normal-forms version:             0.0.1+x-revision:          1 synopsis:            Boolean normal form: NNF, DNF & CNF description:         The provided types that might be useful in symbolic manipulation of propositional logic expressions. license:             MIT   GHC==7.8.4,   GHC==7.10.3,   GHC==8.0.2,-  GHC==8.2.2+  GHC==8.2.2,+  GHC==8.4.3,+  GHC==8.6.1  library   hs-source-dirs:      src                        ConstraintKinds,                        TypeFamilies,                        ScopedTypeVariables-  build-depends:       base        >=4.6   && <4.11,-                       containers  >=0.5   && <0.6,+  build-depends:       base        >=4.6   && <4.13,+                       containers  >=0.5   && <0.7,                        cond        >=0.4.1 && <0.5,                        deepseq     >=1.1.0.0 && <1.5   default-language:    Haskell2010                        cond,                        tasty                >=0.8,                        tasty-quickcheck     >=0.8.0.3,-                       QuickCheck           >=2.10 && <2.11,+                       QuickCheck           >=2.10 && <2.13,                        boolean-normal-forms