Cabal revisions of HasCacBDD-0.4.0.0
Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.
revision 1
-name: HasCacBDD-version: 0.4.0.0-synopsis: Haskell bindings for CacBDD-homepage: https://github.com/m4lvin/HasCacBDD-license: GPL-2-license-file: LICENSE-author: Malvin Gattinger-maintainer: malvin@w4eg.de-category: Data-build-type: Custom-cabal-version: 1.24--description: Haskell bindings for CacBDD, a Binary Decision Diagram (BDD) package with dynamic cache management.- Original C++ code from <http://kailesu.net/CacBDD> and a C wrapper are included.--extra-source-files:- README.md- stack.yaml- c/BDDNodeC.cpp- c/BDDNodeC.h- c/Makefile- cpp/*.cpp- cpp/*.h- cpp/Makefile- cpp/OriginalMakefile- cpp/README--extra-doc-files:- CHANGELOG.md--source-repository head- type: git- location: https://github.com/m4lvin/HasCacBDD.git--custom-setup- setup-depends: base >= 4.8 && < 5,- Cabal < 3.13,- directory <1.4--library- exposed-modules: Data.HasCacBDD,- Data.HasCacBDD.Visuals- build-depends: base >=4.8 && < 5,- parsec >= 3.1 && < 3.2,- process >= 1.1 && < 1.7,- QuickCheck >= 2.4 && < 2.15,- directory < 1.4- default-language: Haskell2010- hs-source-dirs: hs- extra-libraries: stdc++, CacBDD- cc-options: -fPIC -shared- ghc-options: -pgml g++ -Wall -fPIC -fno-full-laziness--test-suite tests- default-language: Haskell2010- type: exitcode-stdio-1.0- main-is: Main.hs- hs-source-dirs: tests- build-depends: base >=4.8,- HasCacBDD,- hspec < 2.12,- QuickCheck > 2.4- ghc-options: -Wall -threaded+name: HasCacBDD +version: 0.4.0.0 +x-revision: 1 +synopsis: Haskell bindings for CacBDD +homepage: https://github.com/m4lvin/HasCacBDD +license: GPL-2 +license-file: LICENSE +author: Malvin Gattinger +maintainer: malvin@w4eg.de +category: Data +build-type: Custom +cabal-version: 1.24 + +description: Haskell bindings for CacBDD, a Binary Decision Diagram (BDD) package with dynamic cache management. + Original C++ code from <http://kailesu.net/CacBDD> and a C wrapper are included. + +extra-source-files: + README.md + stack.yaml + c/BDDNodeC.cpp + c/BDDNodeC.h + c/Makefile + cpp/*.cpp + cpp/*.h + cpp/Makefile + cpp/OriginalMakefile + cpp/README + +extra-doc-files: + CHANGELOG.md + +source-repository head + type: git + location: https://github.com/m4lvin/HasCacBDD.git + +custom-setup + setup-depends: base >= 4.8 && < 5, + Cabal < 3.13, + directory <1.4 + +library + exposed-modules: Data.HasCacBDD, + Data.HasCacBDD.Visuals + build-depends: base >=4.8 && < 5, + parsec >= 3.1 && < 3.2, + process >= 1.1 && < 1.7, + QuickCheck >= 2.4 && < 2.16, + directory < 1.4 + default-language: Haskell2010 + hs-source-dirs: hs + extra-libraries: stdc++, CacBDD + cc-options: -fPIC -shared + ghc-options: -pgml g++ -Wall -fPIC -fno-full-laziness + +test-suite tests + default-language: Haskell2010 + type: exitcode-stdio-1.0 + main-is: Main.hs + hs-source-dirs: tests + build-depends: base >=4.8, + HasCacBDD, + hspec < 2.12, + QuickCheck > 2.4 + ghc-options: -Wall -threaded