Package: libghc-sbv-doc
Source: haskell-sbv
Version: 7.13-1build1
Architecture: all
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Installed-Size: 21689
Depends: haddock-interface-33
Recommends: ghc-doc, libghc-async-doc, libghc-cracknum-doc, libghc-generic-deriving-doc, libghc-quickcheck2-doc, libghc-random-doc, libghc-syb-doc, libjs-mathjax
Section: doc
Priority: optional
Homepage: http://leventerkok.github.com/sbv/
Description: symbolic Haskell theorem prover using SMT solving; documentation
 Express properties about Haskell programs and automatically prove them
 using SMT (Satisfiability Modulo Theories) solvers.
 .
 This package provides the documentation for a library for the Haskell
 programming language.
 See http://www.haskell.org/ for more information on Haskell.
