control 1.69 KB
Newer Older
1 2
Source: haskell-djinn-lib
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
3
Uploaders: Joachim Breitner <nomeata@debian.org>
4 5 6
Priority: extra
Section: haskell
Build-Depends: debhelper (>= 9),
7
 haskell-devscripts (>= 0.10),
8
 cdbs,
9 10 11 12 13 14
 ghc,
 ghc-prof,
 libghc-mtl-dev,
 libghc-mtl-prof,
Build-Depends-Indep: ghc-doc,
 libghc-mtl-doc,
15
Standards-Version: 3.9.6
16
Homepage: http://www.augustsson.net/Darcs/Djinn/
17
Vcs-Browser: http://darcs.debian.org/cgi-bin/darcsweb.cgi?r=pkg-haskell/haskell-djinn-lib
18
Vcs-Darcs: http://darcs.debian.org/pkg-haskell/haskell-djinn-lib
19 20 21 22 23 24 25
X-Description: Generate Haskell code from a type
 Djinn-Lib uses an theorem prover for intuitionistic propositional logic to
 generate a Haskell expression when given a type. This is a library extracted
 from Djinn-Lib sources.

Package: libghc-djinn-lib-dev
Architecture: any
26 27 28 29 30 31
Depends: ${haskell:Depends},
 ${shlibs:Depends},
 ${misc:Depends},
Recommends: ${haskell:Recommends},
Suggests: ${haskell:Suggests},
Provides: ${haskell:Provides},
32 33 34 35 36 37 38
Description: ${haskell:ShortDescription}${haskell:ShortBlurb}
 ${haskell:LongDescription}
 .
 ${haskell:Blurb}

Package: libghc-djinn-lib-prof
Architecture: any
39 40 41 42 43
Depends: ${haskell:Depends},
 ${misc:Depends},
Recommends: ${haskell:Recommends},
Suggests: ${haskell:Suggests},
Provides: ${haskell:Provides},
44 45 46 47 48 49 50
Description: ${haskell:ShortDescription}${haskell:ShortBlurb}
 ${haskell:LongDescription}
 .
 ${haskell:Blurb}

Package: libghc-djinn-lib-doc
Architecture: all
51 52 53 54 55
Section: doc
Depends: ${misc:Depends},
 ${haskell:Depends},
Recommends: ${haskell:Recommends},
Suggests: ${haskell:Suggests},
56 57 58 59
Description: ${haskell:ShortDescription}${haskell:ShortBlurb}
 ${haskell:LongDescription}
 .
 ${haskell:Blurb}