Cabal revisions of logict-0.7.0.2
Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.
revision 1
-name: logict-version: 0.7.0.2-license: BSD3-license-file: LICENSE-copyright:- Copyright (c) 2007-2014, Dan Doel,- Copyright (c) 2011-2013, Edward Kmett,- Copyright (c) 2014, Roman Cheplyaka-maintainer: Andrew Lelechenko <andrew.lelechenko@gmail.com>-author: Dan Doel-tested-with: ghc -any-homepage: https://github.com/Bodigrim/logict#readme-synopsis: A backtracking logic-programming monad.-description:- A continuation-based, backtracking, logic programming monad.- An adaptation of the two-continuation implementation found- in the paper "Backtracking, Interleaving, and Terminating- Monad Transformers" available here:- <http://okmij.org/ftp/papers/LogicT.pdf>-category: Control-build-type: Simple-extra-source-files:- changelog.md-cabal-version: >=1.9.2--source-repository head- type: git- location: https://github.com/Bodigrim/logict--library- exposed-modules:- Control.Monad.Logic- Control.Monad.Logic.Class- ghc-options: -O2 -Wall- build-depends:- base >=2 && <5,- mtl >=2 && <2.3-- if impl(ghc <8.0)- build-depends:- fail -any--test-suite logict-tests- type: exitcode-stdio-1.0- main-is: Test.hs- ghc-options: -Wall- build-depends:- base >=2 && <5,- logict -any,- mtl >=2 && <2.3,- tasty,- tasty-hunit- hs-source-dirs: test+name: logict +version: 0.7.0.2 +x-revision: 1 +license: BSD3 +license-file: LICENSE +copyright: + Copyright (c) 2007-2014, Dan Doel, + Copyright (c) 2011-2013, Edward Kmett, + Copyright (c) 2014, Roman Cheplyaka +maintainer: Andrew Lelechenko <andrew.lelechenko@gmail.com> +author: Dan Doel +tested-with: ghc -any +homepage: https://github.com/Bodigrim/logict#readme +synopsis: A backtracking logic-programming monad. +description: + A continuation-based, backtracking, logic programming monad. + An adaptation of the two-continuation implementation found + in the paper "Backtracking, Interleaving, and Terminating + Monad Transformers" available here: + <http://okmij.org/ftp/papers/LogicT.pdf> +category: Control +build-type: Simple +extra-source-files: + changelog.md +cabal-version: >=1.9.2 + +source-repository head + type: git + location: https://github.com/Bodigrim/logict + +library + exposed-modules: + Control.Monad.Logic + Control.Monad.Logic.Class + ghc-options: -O2 -Wall + build-depends: + base >=4.5 && <5, + mtl >=2 && <2.3 + + if impl(ghc <8.0) + build-depends: + fail -any + +test-suite logict-tests + type: exitcode-stdio-1.0 + main-is: Test.hs + ghc-options: -Wall + build-depends: + base >=2 && <5, + logict -any, + mtl >=2 && <2.3, + tasty, + tasty-hunit + hs-source-dirs: test
revision 2
name: logict version: 0.7.0.2 -x-revision: 1 +x-revision: 2 license: BSD3 license-file: LICENSE copyright: Control.Monad.Logic.Class ghc-options: -O2 -Wall build-depends: - base >=4.5 && <5, + base >=4.5 && <4.15, mtl >=2 && <2.3 if impl(ghc <8.0)