Package: libghc-djinn-ghc-prof
Source: haskell-djinn-ghc
Version: 0.0.2.3-6build5
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: 121
Depends: libghc-djinn-ghc-dev (= 0.0.2.3-6build5), libghc-async-prof-2.1.1.1-a35d4, libghc-base-prof-4.9.1.0-d28d6, libghc-containers-prof-0.5.7.1-cd211, libghc-djinn-lib-prof-0.0.1.2-a2c44, libghc-ghc-prof-8.0.2-c6afc, libghc-mtl-prof-2.2.1-1a6c5, libghc-transformers-prof-0.5.2.0-1d020
Provides: libghc-djinn-ghc-prof-0.0.2.3-e6a63
Section: haskell
Priority: extra
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.
