Source: haskell-logict Maintainer: Debian Haskell Group Uploaders: Clint Adams Priority: extra Section: haskell Build-Depends: cdbs, debhelper (>= 9), ghc (>= 8), ghc-prof, haskell-devscripts (>= 0.13), libghc-mtl-dev (<< 2.3), libghc-mtl-dev (>= 2), libghc-mtl-prof, Build-Depends-Indep: ghc-doc, libghc-mtl-doc Standards-Version: 3.9.8 Homepage: http://code.haskell.org/~dolio/ Vcs-Browser: https://anonscm.debian.org/cgit/pkg-haskell/DHG_packages.git/tree/p/haskell-logict Vcs-Git: https://anonscm.debian.org/git/pkg-haskell/DHG_packages.git Package: libghc-logict-dev Architecture: any Depends: ${haskell:Depends}, ${misc:Depends}, ${shlibs:Depends} Recommends: ${haskell:Recommends} Suggests: ${haskell:Suggests} Provides: ${haskell:Provides} Description: Backtracking logic-programming monad${haskell:ShortBlurb} It is 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 . ${haskell:Blurb} Package: libghc-logict-prof Architecture: any Depends: ${haskell:Depends}, ${misc:Depends} Recommends: ${haskell:Recommends} Suggests: ${haskell:Suggests} Provides: ${haskell:Provides} Description: Backtracking logic-programming monad${haskell:ShortBlurb} It is 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 . ${haskell:Blurb} Package: libghc-logict-doc Architecture: all Section: doc Depends: ${haskell:Depends}, ${misc:Depends} Recommends: ${haskell:Recommends} Suggests: ${haskell:Suggests} Description: Backtracking logic-programming monad${haskell:ShortBlurb} It is 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 . ${haskell:Blurb}