Package: libghc-presburger-prof
Priority: extra
Section: universe/haskell
Installed-Size: 937
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Architecture: i386
Source: haskell-presburger
Version: 1.3.1-1
Provides: libghc-presburger-prof-1.3.1-7d312
Depends: libghc-presburger-dev (= 1.3.1-1), libghc-base-prof-4.8.2.0-a3ce8, libghc-containers-prof-0.5.6.2-5879d, libghc-pretty-prof-1.1.2.0-05f1b
Filename: pool/universe/h/haskell-presburger/libghc-presburger-prof_1.3.1-1_i386.deb
Size: 130350
MD5sum: 73f0d559b7b1fad28b3340634937e875
SHA1: b6265bdb63953667a616248bca23001082740c17
SHA256: 84093245ad95df4b99b5b5ac2596404c37409a11e4e4d5c7d1e23c91ad8a0ff0
Description: decision procedure for quantifier-free linear arithmetic; profiling libraries
Homepage: http://github.com/yav/presburger
Description-md5: 9851b74ea58875bc6ffa4c1b1c16fd50
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu