Package: libghc-presburger-dev
Architecture: amd64
Version: 1.3.1-10
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: 1261
Provides: libghc-presburger-dev-1.3.1-bc039
Depends: libghc-base-dev-4.17.2.0-68dfe, libghc-containers-dev-0.6.7-a1650, libghc-pretty-dev-1.1.3.6-1aa0a, libc6 (>= 2.2.5), libgmp10 (>= 2:6.3.0+dfsg)
Filename: pool/universe/h/haskell-presburger/libghc-presburger-dev_1.3.1-10_amd64.deb
Size: 170650
MD5sum: 6d89a607b5b9e2144c933dd91dd8f512
SHA1: 0cb34e756c52c418302030f658527264c14e4a7f
SHA256: 2d7c487c2f924885d058347adf5c4de86ff93a45261c36382d46ec07c6fc94e9
SHA512: b4ab33f0852c7d1747b738bdbedd51598dedce88f4fe293b6f5551673ab73ab6d394f9128d14490c33cdca66a1d816dc53f17477183600ffeb0cafb42337066c
Homepage: https://github.com/yav/presburger
Description: decision procedure for quantifier-free linear arithmetic
Ghc-Package: presburger-1.3.1-3Y2Tz9UlgMj3c0ONzJx2Se
Description-md5: d2cf82876a32b1e247dedf100b045d3f