[ Source: haskell-sbv ]
Package: libghc-sbv-doc (8.7-1build3) [universe]
Links for libghc-sbv-doc
Ubuntu Resources:
Download Source Package haskell-sbv:
Maintainer:
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainers (usually from Debian):
- Debian Haskell Group (Mail Archive)
- Clint Adams
It should generally not be necessary for users to contact the original maintainer.
External Resources:
- Homepage [leventerkok.github.com]
Similar packages:
symbolic Haskell theorem prover using SMT solving; documentation
Other Packages Related to libghc-sbv-doc
|
|
|
|
-
- dep: haddock-interface-35
- virtual package provided by ghc
-
- rec: libghc-generic-deriving-doc
- generic programming library for generalised deriving; documentation
-
- rec: libghc-quickcheck2-doc
- Haskell automatic testing library for GHC; documentation
-
- rec: libghc-random-doc
- random number generator for Haskell; documentation
-
- rec: libjs-mathjax
- JavaScript display engine for LaTeX and MathML
Download libghc-sbv-doc
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| all | 1,553.3 kB | 36,417.0 kB | [list of files] |