Source: haskell-djinn-ghc Maintainer: Debian Haskell Group Uploaders: Joachim Breitner , Priority: optional Section: haskell Rules-Requires-Root: no Build-Depends: cdbs, debhelper (>= 10), ghc (>= 8.4.3), ghc-prof, haskell-devscripts (>= 0.13), libghc-async-dev, libghc-async-prof, libghc-djinn-lib-dev (>= 0.0.1.2), libghc-djinn-lib-prof, Build-Depends-Indep: ghc-doc, libghc-async-doc, libghc-djinn-lib-doc, Standards-Version: 4.5.0 Homepage: http://hackage.haskell.org/package/djinn-ghc Vcs-Browser: https://salsa.debian.org/haskell-team/DHG_packages/tree/master/p/haskell-djinn-ghc Vcs-Git: https://salsa.debian.org/haskell-team/DHG_packages.git [p/haskell-djinn-ghc] X-Description: generate Haskell code from a type (bridge to GHC API) Djinn uses an theorem prover for intuitionistic propositional logic to generate a Haskell expression when given a type. This is the bridge from djinn-lib to GHC API. Package: libghc-djinn-ghc-dev Architecture: any Depends: ${haskell:Depends}, ${misc:Depends}, ${shlibs:Depends}, Recommends: ${haskell:Recommends}, Suggests: ${haskell:Suggests}, Provides: ${haskell:Provides}, Description: ${haskell:ShortDescription}${haskell:ShortBlurb} ${haskell:LongDescription} . ${haskell:Blurb} Package: libghc-djinn-ghc-prof Architecture: any Depends: ${haskell:Depends}, ${misc:Depends}, Recommends: ${haskell:Recommends}, Suggests: ${haskell:Suggests}, Provides: ${haskell:Provides}, Description: ${haskell:ShortDescription}${haskell:ShortBlurb} ${haskell:LongDescription} . ${haskell:Blurb} Package: libghc-djinn-ghc-doc Architecture: all Section: doc Depends: ${haskell:Depends}, ${misc:Depends}, Recommends: ${haskell:Recommends}, Suggests: ${haskell:Suggests}, Description: ${haskell:ShortDescription}${haskell:ShortBlurb} ${haskell:LongDescription} . ${haskell:Blurb}