Source: haskell-chiouprover
Priority: optional
Section: misc
Maintainer: David Fox <dsf@seereason.com>
Build-Depends: debhelper (>= 7.0),
               haskell-devscripts (>= 0.6.15+nmu7),
               hscolour,
               cdbs,
               ghc6 (>= 6.8),
               ghc6-prof,
               libghc6-mtl-prof
Build-Depends-Indep: ghc6-doc,
                     haddock,
                     libghc6-mtl-doc
Standards-Version: 3.8.1

Package: libghc6-chiouprover-dev
Architecture: any
Section: haskell
Depends: ${haskell:Depends},
         ${misc:Depends}
Description: First order logic theorem prover.
 First order logic theorem prover.
 .
  Author: Charles Chiou
  Upstream-Maintainer: SeeReason Partners <partners@seereason.com>
 .
 This package contains the normal library files.

Package: libghc6-chiouprover-prof
Architecture: any
Section: haskell
Depends: ${haskell:Depends},
         ${misc:Depends},
         libghc6-chiouprover-dev
Description: First order logic theorem prover.
 First order logic theorem prover.
 .
  Author: Charles Chiou
  Upstream-Maintainer: SeeReason Partners <partners@seereason.com>
 .
 This package contains the libraries compiled with profiling enabled.

Package: libghc6-chiouprover-doc
Architecture: all
Section: doc
Depends: ${haskell:Depends},
         ${misc:Depends},
         ghc6-doc
Description: First order logic theorem prover.
 First order logic theorem prover.
 .
  Author: Charles Chiou
  Upstream-Maintainer: SeeReason Partners <partners@seereason.com>
 .
 This package contains the documentation files.