Package: libghc-presburger-dev Architecture: amd64 Version: 1.3.1-3build1 Priority: extra Section: universe/haskell Source: haskell-presburger Origin: Ubuntu Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org> Bugs: https://bugs.launchpad.net/ubuntu/+filebug Installed-Size: 1380 Provides: libghc-presburger-dev-1.3.1-43796 Depends: libghc-base-dev-4.9.1.0-d28d6, libghc-containers-dev-0.5.7.1-cd211, libghc-pretty-dev-1.1.3.3-912de, libc6 (>= 2.2.5), libgmp10 Suggests: libghc-presburger-doc, libghc-presburger-prof Filename: pool/universe/h/haskell-presburger/libghc-presburger-dev_1.3.1-3build1_amd64.deb Size: 158248 MD5sum: 770e0cef58041f9eb5cb47868fae6feb SHA1: a4b63dafa924411f723befd6b3451ec14dc8d2e7 SHA256: a90a51c86398e57688ca35b4d9c5b2a673cf6b826855a35e2e59cf4e24f717eb Homepage: http://github.com/yav/presburger Description: decision procedure for quantifier-free linear arithmetic Ghc-Package: presburger-1.3.1-8vpb1K8V7jL6H3PN187B5W Description-md5: d2cf82876a32b1e247dedf100b045d3f