Package: libghc-presburger-doc
Priority: extra
Section: universe/doc
Installed-Size: 333
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Architecture: all
Source: haskell-presburger
Version: 1.3.1-1
Depends: haddock-interface-27
Recommends: ghc-doc
Filename: pool/universe/h/haskell-presburger/libghc-presburger-doc_1.3.1-1_all.deb
Size: 34596
MD5sum: d7f273dd0acc7869bb41d3e6ff4e90be
SHA1: 25db5a8304891d4d067642808e05f6e3a0d57334
SHA256: ebed689360ea3cd28be697b4c9a29044555e1effe549aafb6f9d97a313ba74bb
Description: decision procedure for quantifier-free linear arithmetic; documentation
Homepage: http://github.com/yav/presburger
Description-md5: e434a1e32313ca6c5e662d5b6484a49c
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu