Package: libghc-presburger-prof
Architecture: amd64
Version: 1.3.1-10build1
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: 1351
Provides: libghc-presburger-prof-1.3.1-bc039
Depends: libghc-base-prof-4.17.2.0-68dfe, libghc-containers-prof-0.6.7-a1650, libghc-presburger-dev (= 1.3.1-10build1), libghc-pretty-prof-1.1.3.6-1aa0a
Filename: pool/universe/h/haskell-presburger/libghc-presburger-prof_1.3.1-10build1_amd64.deb
Size: 152062
MD5sum: 3bc2df00f5aac9450931cd7e71235816
SHA1: f29bf3a5705f7d1cbb57b9421336358b9e8b06ad
SHA256: e1d66aaff8cc585fefe31bae7e091f458b35a68ec96c4e755ed9c58cd525a95d
SHA512: de0689149e45a8590e259b9f7d60373f81c1dbe399886caf7cf29ea2ed376fbb07827ce2293fe9d91048ad4c2ce0b52060e3d1d84dfa2bdf4923beefa084767f
Homepage: https://github.com/yav/presburger
Description: decision procedure for quantifier-free linear arithmetic; profiling libraries
Description-md5: 9851b74ea58875bc6ffa4c1b1c16fd50