-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: haskell-presburger
Binary: libghc-presburger-dev, libghc-presburger-prof, libghc-presburger-doc
Architecture: any all
Version: 1.3.1-1
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Uploaders: Clint Adams <clint@debian.org>
Homepage: http://github.com/yav/presburger
Standards-Version: 3.9.6
Vcs-Browser: http://darcs.debian.org/cgi-bin/darcsweb.cgi?r=pkg-haskell/haskell-presburger
Vcs-Darcs: http://darcs.debian.org/pkg-haskell/haskell-presburger
Build-Depends: debhelper (>= 9), haskell-devscripts (>= 0.9), cdbs, ghc, ghc-prof, libghc-quickcheck2-dev
Build-Depends-Indep: ghc-doc
Package-List:
 libghc-presburger-dev deb haskell extra arch=any
 libghc-presburger-doc deb doc extra arch=all
 libghc-presburger-prof deb haskell extra arch=any
Checksums-Sha1:
 9236cb55d7a767410b971f7740bb401b6c8e1349 10794 haskell-presburger_1.3.1.orig.tar.gz
 a96f15c94c9805de701bc6c2f71bcd69103bcfaa 1948 haskell-presburger_1.3.1-1.debian.tar.xz
Checksums-Sha256:
 86021abbd457b3bac9cb0f09ce741c4c03de433ca8834532d68d84f90cc3d097 10794 haskell-presburger_1.3.1.orig.tar.gz
 7f493b1030085964b105663be1b1f7febf06f91bd08a624a356eee4d6629d054 1948 haskell-presburger_1.3.1-1.debian.tar.xz
Files:
 bc1c082cd7de5e5c87e9bf2cb8d9a069 10794 haskell-presburger_1.3.1.orig.tar.gz
 ad036e99ec88c4f3b2756bfc360e324b 1948 haskell-presburger_1.3.1-1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2
Comment: Debian!

iQJ8BAEBCgBmBQJWcFESXxSAAAAAAC4AKGlzc3Vlci1mcHJAbm90YXRpb25zLm9w
ZW5wZ3AuZmlmdGhob3JzZW1hbi5uZXQ3NTgxRUM4NzQwNTNFNkM4MDc3OTFCOUI1
NTkyMzMxRTE5OUQzOEE4AAoJEFWSMx4ZnTioU1IP/2xCeTxXTY1CtKnqZisOzBDr
p47v9xDdl2tg5X3cGmxt3tpB2Gm0pLJeZ+fbcN53WBYl8IqfvDn4GRX/MJqmir7S
IPLpXVcDlxx5ZdACivNw3Zi1ryOOIo1uAjngUPeKhqmYdZiSLREsK5ApLKYooMM6
r+Q6fuw8vOeDU6y8aeEy9/LnEOcviGIV1lW1lpjymKVRWOuTdDkv3P/Tb3HVGrKi
rEbV1ORD3UeF0YV+7SeUyXANSh1BsGCynVdMOD0XVScXcR3JKpiT8peZ4XKpqkI9
bdUGUTARJORClh5ttoywB6xdsiKCBNhsovbl6YzRvTqXCIcbExqo8hpJ1IiECVX3
454CgEVKltI5Td/hxxlPBURAc8b/dyex3l2ySzcBkb10aLK8pKUsKSP9IWVTz2m5
Zg069J0HpU7YaIX1f5y+6v1uHxhVkigEi/laguv5slfwd3n1zKs+ck+pNazQIabk
VzWoiIbmIUCB83ZxhTMaJBfilyS2SGrVUeVPQb/ED9XARZWmN4ZsD09S75Il5jjK
2012b0QHju/9HlnXSY3VlDch/8tuuMRl3hkrD1Dla/1mCg1C2WSsePeK6Nk1ScEy
M79JYxphyigUpZxsoXnZBNtoHuhEIGVu75310hPOxDc3mAUBqhAjpErzLiOkHGn8
qEf0s4brfbITAEKbXUzN
=8VU3
-----END PGP SIGNATURE-----