Source: haskell-propositional-classes
Priority: extra
Section: haskell
Maintainer: David Fox <dsf@seereason.com>
Build-Depends: debhelper (>= 7.0),
               haskell-devscripts (>= 0.8),
               cdbs,
               ghc,
               ghc-prof,
               libghc-proplogic-dev,
               libghc-proplogic-prof,
               libghc-debian-dev,
               libghc-debian-prof,
               libghc-happstack-data-dev,
               libghc-happstack-data-prof,
               libghc-safecopy-dev,
               libghc-safecopy-prof,
               libghc-set-extra-dev,
               libghc-set-extra-prof,
               libghc-syb-dev,
               libghc-syb-prof
Build-Depends-Indep: ghc-doc,
                     libghc-proplogic-doc,
                     libghc-debian-doc,
                     libghc-happstack-data-doc,
                     libghc-safecopy-doc,
                     libghc-set-extra-doc,
                     libghc-syb-doc
Standards-Version: 3.9.1
Homepage: http://hackage.haskell.org/package/propositional-classes

Package: libghc-propositional-classes-dev
Architecture: any
Depends: ${shlibs:Depends},
         ${haskell:Depends},
         ${misc:Depends}
Recommends: ${haskell:Recommends}
Suggests: ${haskell:Suggests}
Provides: ${haskell:Provides}
Description: Symbolic logic support - a class framework, example instances, implementations
 Package to support Propositional Logic.  It includes classes
 representing the different types of formulas and terms, some instances of
 those classes for types used in other logic libraries, and implementations of
 several logic algorithms, including conversion to normal form.
 .
  Author: David Fox <dsf@seereason.com>
  Upstream-Maintainer: SeeReason Partners <partners@seereason.com>
 .
 This package contains the normal library files.

Package: libghc-propositional-classes-prof
Architecture: any
Depends: ${haskell:Depends},
         ${misc:Depends}
Recommends: ${haskell:Recommends}
Suggests: ${haskell:Suggests}
Provides: ${haskell:Provides}
Description: Symbolic logic support - a class framework, example instances, implementations
 Package to support Propositional Logic.  It includes classes
 representing the different types of formulas and terms, some instances of
 those classes for types used in other logic libraries, and implementations of
 several logic algorithms, including conversion to normal form.
 .
  Author: David Fox <dsf@seereason.com>
  Upstream-Maintainer: SeeReason Partners <partners@seereason.com>
 .
 This package contains the libraries compiled with profiling enabled.

Package: libghc-propositional-classes-doc
Architecture: all
Section: doc
Depends: ${haskell:Depends},
         ${misc:Depends}
Recommends: ${haskell:Recommends}
Suggests: ${haskell:Suggests}
Description: Symbolic logic support - a class framework, example instances, implementations
 Package to support Propositional Logic.  It includes classes
 representing the different types of formulas and terms, some instances of
 those classes for types used in other logic libraries, and implementations of
 several logic algorithms, including conversion to normal form.
 .
  Author: David Fox <dsf@seereason.com>
  Upstream-Maintainer: SeeReason Partners <partners@seereason.com>
 .
 This package contains the documentation files.