Cabal revisions of ersatz-toysat-0.2.2.0
Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.
revision 1
--- Initial ersatz-toysat.cabal generated by cabal init. For further documentation, see--- http://haskell.org/cabal/users-guide/--name: ersatz-toysat-version: 0.2.2.0-synopsis: toysat driver as backend for ersatz-description: toysat driver as backend for ersatz-homepage: https://github.com/msakai/ersatz-toysat-license: BSD3-license-file: LICENSE-author: Masahiro Sakai-maintainer: masahiro.sakai@gmail.com-copyright: (c) 2014 Masahiro Sakai-category: Logic, Algorithms-build-type: Simple-extra-source-files: README.md, examples/LICENSE, .travis.yml-cabal-version: >=1.10--source-repository head- type: git- location: git://github.com/msakai/ersatz-toysat.git--flag examples- description: Build examples- default: False- manual: True--library- exposed-modules: Ersatz.Solver.Toysat- build-depends:- base >=4.6 && <4.11,- array >= 0.4 && < 0.6,- containers >= 0.4.2.1 && < 0.6,- transformers >=0.3 && <0.6,- ersatz >=0.3 && <0.5,- toysolver >=0.2.0 && <0.6.0- hs-source-dirs: src- default-language: Haskell2010--executable ersatz-toysat-regexp-grid- -- description: An example program that solves the regular expression crossword problem <http://www.coinheist.com/rubik/a_regular_crossword/> using Ersatz.- if flag(examples)- build-depends:- base < 5,- containers,- ersatz,- ersatz-toysat,- lens,- mtl,- parsec >= 3.1 && < 3.2- if impl(ghc >= 7.4 && < 7.6)- build-depends: ghc-prim- else- buildable: False- main-is: Main.hs- other-modules:- RegexpGrid.Problem- RegexpGrid.Regexp- RegexpGrid.Types- default-language: Haskell2010- ghc-options: -Wall- hs-source-dirs: examples/regexp-grid- other-extensions:- TupleSections- TemplateHaskell- TypeFamilies- DeriveGeneric- DeriveDataTypeable--executable ersatz-toysat-sudoku- -- description: An example program that solves a sudoku problem using Ersatz.- if flag(examples)- build-depends:- array,- base < 5,- ersatz,- ersatz-toysat,- mtl- if impl(ghc >= 7.4 && < 7.6)- build-depends: ghc-prim- else- buildable: False- default-language: Haskell2010- main-is: Main.hs- other-modules:- Sudoku.Cell- Sudoku.Problem- ghc-options: -Wall- hs-source-dirs: examples/sudoku- other-extensions:- TypeFamilies- DeriveGeneric- DeriveDataTypeable- FlexibleContexts+-- Initial ersatz-toysat.cabal generated by cabal init. For further documentation, see +-- http://haskell.org/cabal/users-guide/ + +name: ersatz-toysat +version: 0.2.2.0 +x-revision: 1 +synopsis: toysat driver as backend for ersatz +description: toysat driver as backend for ersatz +homepage: https://github.com/msakai/ersatz-toysat +license: BSD3 +license-file: LICENSE +author: Masahiro Sakai +maintainer: masahiro.sakai@gmail.com +copyright: (c) 2014 Masahiro Sakai +category: Logic, Algorithms +build-type: Simple +extra-source-files: README.md, examples/LICENSE, .travis.yml +cabal-version: >=1.10 + +source-repository head + type: git + location: git://github.com/msakai/ersatz-toysat.git + +flag examples + description: Build examples + default: False + manual: True + +library + exposed-modules: Ersatz.Solver.Toysat + build-depends: + base >=4.6 && <4.16, + array >= 0.4 && < 0.6, + containers >= 0.4.2.1 && < 0.7, + transformers >=0.3 && <0.6, + ersatz >=0.3 && <0.5, + toysolver >=0.2.0 && <0.9.0 + hs-source-dirs: src + default-language: Haskell2010 + +executable ersatz-toysat-regexp-grid + -- description: An example program that solves the regular expression crossword problem <http://www.coinheist.com/rubik/a_regular_crossword/> using Ersatz. + if flag(examples) + build-depends: + base < 5, + containers, + ersatz, + ersatz-toysat, + lens, + mtl, + parsec >= 3.1 && < 3.2 + if impl(ghc >= 7.4 && < 7.6) + build-depends: ghc-prim + else + buildable: False + main-is: Main.hs + other-modules: + RegexpGrid.Problem + RegexpGrid.Regexp + RegexpGrid.Types + default-language: Haskell2010 + ghc-options: -Wall + hs-source-dirs: examples/regexp-grid + other-extensions: + TupleSections + TemplateHaskell + TypeFamilies + DeriveGeneric + DeriveDataTypeable + +executable ersatz-toysat-sudoku + -- description: An example program that solves a sudoku problem using Ersatz. + if flag(examples) + build-depends: + array, + base < 5, + ersatz, + ersatz-toysat, + mtl + if impl(ghc >= 7.4 && < 7.6) + build-depends: ghc-prim + else + buildable: False + default-language: Haskell2010 + main-is: Main.hs + other-modules: + Sudoku.Cell + Sudoku.Problem + ghc-options: -Wall + hs-source-dirs: examples/sudoku + other-extensions: + TypeFamilies + DeriveGeneric + DeriveDataTypeable + FlexibleContexts
revision 2
name: ersatz-toysat version: 0.2.2.0 -x-revision: 1 +x-revision: 2 synopsis: toysat driver as backend for ersatz description: toysat driver as backend for ersatz homepage: https://github.com/msakai/ersatz-toysat library exposed-modules: Ersatz.Solver.Toysat build-depends: - base >=4.6 && <4.16, + base >=4.6 && <4.17, array >= 0.4 && < 0.6, containers >= 0.4.2.1 && < 0.7, transformers >=0.3 && <0.6,
revision 3
name: ersatz-toysat version: 0.2.2.0 -x-revision: 2 +x-revision: 3 synopsis: toysat driver as backend for ersatz description: toysat driver as backend for ersatz homepage: https://github.com/msakai/ersatz-toysat library exposed-modules: Ersatz.Solver.Toysat build-depends: - base >=4.6 && <4.17, + base >=4.6 && <4.21, array >= 0.4 && < 0.6, - containers >= 0.4.2.1 && < 0.7, - transformers >=0.3 && <0.6, - ersatz >=0.3 && <0.5, - toysolver >=0.2.0 && <0.9.0 + containers >= 0.4.2.1 && < 0.8, + transformers >=0.3 && <0.7, + ersatz >=0.3 && <0.6, + toysolver >=0.2.0 && <0.10.0 hs-source-dirs: src default-language: Haskell2010