Cabal revisions of decision-diagrams-0.1.0.0
Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.
revision 1
-cabal-version: 1.12---- This file has been generated from package.yaml by hpack version 0.34.4.------ see: https://github.com/sol/hpack--name: decision-diagrams-version: 0.1.0.0-synopsis: Binary Decision Diagrams (BDD) and Zero-suppressed Binary Decision Diagrams (ZDD)-description: Please see the README on GitHub at <https://github.com/msakai/haskell-decision-diagrams#readme>-category: Data, Logic-homepage: https://github.com/msakai/haskell-decision-diagrams#readme-bug-reports: https://github.com/msakai/haskell-decision-diagrams/issues-author: Masahiro Sakai-maintainer: masahiro.sakai@gmail.com-copyright: 2021 Masahiro Sakai-license: BSD3-license-file: LICENSE-build-type: Simple-extra-source-files:- README.md- ChangeLog.md--source-repository head- type: git- location: https://github.com/msakai/haskell-decision-diagrams--library- exposed-modules:- Data.DecisionDiagram.BDD- Data.DecisionDiagram.BDD.Internal.ItemOrder- Data.DecisionDiagram.ZDD- other-modules:- Data.DecisionDiagram.BDD.Internal.Node- hs-source-dirs:- src- build-depends:- base >=4.7 && <5- , containers >=0.5.11.0 && <0.7- , hashable >=1.2.7.0 && <1.4- , hashtables >=1.2.3.1 && <1.3- , intern >=0.9.1.2 && <1.0.0.0- , mwc-random >=0.13.6.0 && <0.16- , primitive >=0.6.3.0 && <0.8- , random >=1.1 && <1.3- , reflection >=2.1.4 && <2.2- , unordered-containers >=0.2.9.0 && <0.3- default-language: Haskell2010--test-suite decision-diagrams-test- type: exitcode-stdio-1.0- main-is: TestSuite.hs- other-modules:- TestBDD- TestZDD- Utils- Paths_decision_diagrams- hs-source-dirs:- test- ghc-options: -threaded -rtsopts -with-rtsopts=-N- build-depends:- QuickCheck >=2.11.3 && <2.15- , base >=4.7 && <5- , containers >=0.5.11.0 && <0.7- , decision-diagrams- , mwc-random >=0.13.6.0 && <0.16- , statistics >=0.14.0.2 && <0.16- , tasty >=1.1.0.4 && <1.5- , tasty-hunit >=0.10.0.1 && <0.11- , tasty-quickcheck ==0.10.*- , tasty-th >=0.1.7 && <0.2- default-language: Haskell2010+cabal-version: 1.12 + +-- This file has been generated from package.yaml by hpack version 0.34.4. +-- +-- see: https://github.com/sol/hpack + +name: decision-diagrams +version: 0.1.0.0 +x-revision: 1 +synopsis: Binary Decision Diagrams (BDD) and Zero-suppressed Binary Decision Diagrams (ZDD) +description: Please see the README on GitHub at <https://github.com/msakai/haskell-decision-diagrams#readme> +category: Data, Logic +homepage: https://github.com/msakai/haskell-decision-diagrams#readme +bug-reports: https://github.com/msakai/haskell-decision-diagrams/issues +author: Masahiro Sakai +maintainer: masahiro.sakai@gmail.com +copyright: 2021 Masahiro Sakai +license: BSD3 +license-file: LICENSE +build-type: Simple +extra-source-files: + README.md + ChangeLog.md + +source-repository head + type: git + location: https://github.com/msakai/haskell-decision-diagrams + +library + exposed-modules: + Data.DecisionDiagram.BDD + Data.DecisionDiagram.BDD.Internal.ItemOrder + Data.DecisionDiagram.ZDD + other-modules: + Data.DecisionDiagram.BDD.Internal.Node + hs-source-dirs: + src + build-depends: + base >=4.7 && <5 + , containers >=0.5.11.0 && <0.7 + , hashable >=1.2.7.0 && <1.5 + , hashtables >=1.2.3.1 && <1.3 + , intern >=0.9.1.2 && <1.0.0.0 + , mwc-random >=0.13.6.0 && <0.16 + , primitive >=0.6.3.0 && <0.8 + , random >=1.1 && <1.3 + , reflection >=2.1.4 && <2.2 + , unordered-containers >=0.2.9.0 && <0.3 + default-language: Haskell2010 + +test-suite decision-diagrams-test + type: exitcode-stdio-1.0 + main-is: TestSuite.hs + other-modules: + TestBDD + TestZDD + Utils + Paths_decision_diagrams + hs-source-dirs: + test + ghc-options: -threaded -rtsopts -with-rtsopts=-N + build-depends: + QuickCheck >=2.11.3 && <2.15 + , base >=4.7 && <5 + , containers >=0.5.11.0 && <0.7 + , decision-diagrams + , mwc-random >=0.13.6.0 && <0.16 + , statistics >=0.14.0.2 && <0.16 + , tasty >=1.1.0.4 && <1.5 + , tasty-hunit >=0.10.0.1 && <0.11 + , tasty-quickcheck ==0.10.* + , tasty-th >=0.1.7 && <0.2 + default-language: Haskell2010
revision 2
name: decision-diagrams version: 0.1.0.0 -x-revision: 1 +x-revision: 2 synopsis: Binary Decision Diagrams (BDD) and Zero-suppressed Binary Decision Diagrams (ZDD) description: Please see the README on GitHub at <https://github.com/msakai/haskell-decision-diagrams#readme> category: Data, Logic hs-source-dirs: src build-depends: - base >=4.7 && <5 + base >=4.11.0.0 && <5 , containers >=0.5.11.0 && <0.7 , hashable >=1.2.7.0 && <1.5 , hashtables >=1.2.3.1 && <1.3
revision 3
name: decision-diagrams version: 0.1.0.0 -x-revision: 2 +x-revision: 3 synopsis: Binary Decision Diagrams (BDD) and Zero-suppressed Binary Decision Diagrams (ZDD) description: Please see the README on GitHub at <https://github.com/msakai/haskell-decision-diagrams#readme> category: Data, Logic base >=4.11.0.0 && <5 , containers >=0.5.11.0 && <0.7 , hashable >=1.2.7.0 && <1.5 - , hashtables >=1.2.3.1 && <1.3 + , hashtables >=1.2.3.1 && <1.4 , intern >=0.9.1.2 && <1.0.0.0 , mwc-random >=0.13.6.0 && <0.16 , primitive >=0.6.3.0 && <0.8