Package: libghc-djinn-ghc-prof
Source: haskell-djinn-ghc
Version: 0.0.2.3-9build2
Architecture: amd64
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Installed-Size: 145
Depends: libghc-djinn-ghc-dev (= 0.0.2.3-9build2), libghc-async-prof-2.2.2-1bf81, libghc-base-prof-4.12.0.0-a86a1, libghc-containers-prof-0.6.0.1-b7319, libghc-djinn-lib-prof-0.0.1.3-55bf9, libghc-ghc-prof-8.6.5-ea8b3, libghc-mtl-prof-2.2.2-07ff1, libghc-transformers-prof-0.5.6.2-08fea
Provides: libghc-djinn-ghc-prof-0.0.2.3-de95b
Section: haskell
Priority: optional
Homepage: http://hackage.haskell.org/package/djinn-ghc
Description: generate Haskell code from a type (bridge to GHC API); profiling libraries
 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.
 .
 This package provides a library for the Haskell programming language, compiled
 for profiling.  See http://www.haskell.org/ for more information on Haskell.
