Source: haskell-proplogic
Priority: optional
Section: misc
Maintainer: David Fox <dsf@seereason.com>
Build-Depends: debhelper (>= 7.0),
               haskell-devscripts (>= 0.6.15+nmu7),
               hscolour,
               cdbs,
               ghc (>= 6.8),
               ghc-prof,
               libghc-random-prof
Build-Depends-Indep: ghc-doc,
                     haddock,
                     libghc-random-doc
Standards-Version: 3.8.1
Homepage: http://www.bucephalus.org/PropLogic

Package: libghc-proplogic-dev
Architecture: any
Section: haskell
Depends: ${haskell:Depends},
         ${misc:Depends}
Description: A system for propositional logic with default and fast instances of propositional algebras.
 .
 This package contains the normal library files.

Package: libghc-proplogic-prof
Architecture: any
Section: haskell
Depends: ${haskell:Depends},
         ${misc:Depends},
         libghc-proplogic-dev
Description: A system for propositional logic with default and fast instances of propositional algebras.
 .
 This package contains the libraries compiled with profiling enabled.

Package: libghc-proplogic-doc
Architecture: all
Section: doc
Conflicts: haskell-proplogic-doc
Provides: haskell-proplogic-doc
Replaces: haskell-proplogic-doc
Depends: ${haskell:Depends},
         ${misc:Depends},
         ghc-doc
Description: A system for propositional logic with default and fast instances of propositional algebras.
 .
 This package contains the documentation files.

Package: proplogic
Architecture: any
Section: misc
Depends: ${shlibs:Depends}, ${haskell:Depends}, ${misc:Depends}
Description:  An executable built with the PropLogic-0.9 library.