Cabal revisions of decision-diagrams-0.2.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.2.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, Data Structures, 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- other-extensions:- BangPatterns- FlexibleContexts- FlexibleInstances- RankNTypes- ScopedTypeVariables- CPP- DeriveGeneric- DeriveTraversable- GeneralizedNewtypeDeriving- PatternSynonyms- TypeFamilies- UndecidableInstances- ViewPatterns- build-depends:- 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.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- , random >=1.1 && <1.3- , reflection >=2.1.4 && <2.2- , unordered-containers >=0.2.9.0 && <0.3- , vector >=0.12.0.2 && <0.13- default-language: Haskell2010--test-suite decision-diagrams-doctest- type: exitcode-stdio-1.0- main-is: test/doctests.hs- other-modules:- Paths_decision_diagrams- other-extensions:- BangPatterns- FlexibleContexts- FlexibleInstances- RankNTypes- ScopedTypeVariables- ghc-options: -threaded -rtsopts -with-rtsopts=-N- build-depends:- base >=4.11.0.0 && <5- , containers >=0.5.11.0 && <0.7- , decision-diagrams- , doctest- , mwc-random >=0.13.6.0 && <0.16- 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- other-extensions:- BangPatterns- FlexibleContexts- FlexibleInstances- RankNTypes- ScopedTypeVariables- TemplateHaskell- ghc-options: -threaded -rtsopts -with-rtsopts=-N- build-depends:- QuickCheck >=2.11.3 && <2.15- , base >=4.11.0.0 && <5- , containers >=0.5.11.0 && <0.7- , decision-diagrams- , deepseq >=1.4.3.0 && <1.5- , mwc-random >=0.13.6.0 && <0.16- , quickcheck-instances >=0.3.19 && <0.4- , 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- , vector >=0.12.0.2 && <0.13- 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.2.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, Data Structures, 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 + other-extensions: + BangPatterns + FlexibleContexts + FlexibleInstances + RankNTypes + ScopedTypeVariables + CPP + DeriveGeneric + DeriveTraversable + GeneralizedNewtypeDeriving + PatternSynonyms + TypeFamilies + UndecidableInstances + ViewPatterns + build-depends: + 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.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 + , random >=1.1 && <1.3 + , reflection >=2.1.4 && <2.2 + , unordered-containers >=0.2.9.0 && <0.3 + , vector >=0.12.0.2 && <0.13 + default-language: Haskell2010 + +test-suite decision-diagrams-doctest + type: exitcode-stdio-1.0 + main-is: test/doctests.hs + other-modules: + Paths_decision_diagrams + other-extensions: + BangPatterns + FlexibleContexts + FlexibleInstances + RankNTypes + ScopedTypeVariables + ghc-options: -threaded -rtsopts -with-rtsopts=-N + build-depends: + base >=4.11.0.0 && <5 + , containers >=0.5.11.0 && <0.7 + , decision-diagrams + , doctest + , mwc-random >=0.13.6.0 && <0.16 + 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 + other-extensions: + BangPatterns + FlexibleContexts + FlexibleInstances + RankNTypes + ScopedTypeVariables + TemplateHaskell + ghc-options: -threaded -rtsopts -with-rtsopts=-N + build-depends: + QuickCheck >=2.11.3 && <2.15 + , base >=4.11.0.0 && <5 + , containers >=0.5.11.0 && <0.7 + , decision-diagrams + , deepseq >=1.4.3.0 && <1.5 + , mwc-random >=0.13.6.0 && <0.16 + , quickcheck-instances >=0.3.19 && <0.4 + , statistics >=0.14.0.2 && <0.17 + , 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 + , vector >=0.12.0.2 && <0.13 + default-language: Haskell2010
revision 2
name: decision-diagrams version: 0.2.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, Data Structures, Logic , random >=1.1 && <1.3 , reflection >=2.1.4 && <2.2 , unordered-containers >=0.2.9.0 && <0.3 - , vector >=0.12.0.2 && <0.13 + , vector >=0.12.0.2 && <0.14 default-language: Haskell2010 test-suite decision-diagrams-doctest , tasty-hunit >=0.10.0.1 && <0.11 , tasty-quickcheck ==0.10.* , tasty-th >=0.1.7 && <0.2 - , vector >=0.12.0.2 && <0.13 + , vector >=0.12.0.2 && <0.14 default-language: Haskell2010
revision 3
name: decision-diagrams version: 0.2.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, Data Structures, Logic , 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 + , primitive >=0.6.3.0 && <0.9 , random >=1.1 && <1.3 , reflection >=2.1.4 && <2.2 , unordered-containers >=0.2.9.0 && <0.3
revision 4
name: decision-diagrams version: 0.2.0.0 -x-revision: 3 +x-revision: 4 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, Data Structures, Logic ViewPatterns build-depends: base >=4.11.0.0 && <5 - , containers >=0.5.11.0 && <0.7 - , hashable >=1.2.7.0 && <1.5 + , containers >=0.5.11.0 && <0.8 + , hashable >=1.2.7.0 && <1.6 , 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.9 + , primitive >=0.6.3.0 && <0.10 , random >=1.1 && <1.3 , reflection >=2.1.4 && <2.2 , unordered-containers >=0.2.9.0 && <0.3 ghc-options: -threaded -rtsopts -with-rtsopts=-N build-depends: base >=4.11.0.0 && <5 - , containers >=0.5.11.0 && <0.7 + , containers >=0.5.11.0 && <0.8 , decision-diagrams , doctest , mwc-random >=0.13.6.0 && <0.16 TemplateHaskell ghc-options: -threaded -rtsopts -with-rtsopts=-N build-depends: - QuickCheck >=2.11.3 && <2.15 + QuickCheck >=2.11.3 && <2.16 , base >=4.11.0.0 && <5 - , containers >=0.5.11.0 && <0.7 + , containers >=0.5.11.0 && <0.8 , decision-diagrams - , deepseq >=1.4.3.0 && <1.5 + , deepseq >=1.4.3.0 && <1.6 , mwc-random >=0.13.6.0 && <0.16 , quickcheck-instances >=0.3.19 && <0.4 , statistics >=0.14.0.2 && <0.17 - , tasty >=1.1.0.4 && <1.5 + , tasty >=1.1.0.4 && <1.6 , tasty-hunit >=0.10.0.1 && <0.11 - , tasty-quickcheck ==0.10.* + , tasty-quickcheck >=0.10 && <0.12 , tasty-th >=0.1.7 && <0.2 , vector >=0.12.0.2 && <0.14 default-language: Haskell2010