-----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-3
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.8
Vcs-Browser: https://anonscm.debian.org/cgit/pkg-haskell/DHG_packages.git/tree/p/haskell-presburger
Vcs-Git: https://anonscm.debian.org/git/pkg-haskell/DHG_packages.git
Build-Depends: cdbs, debhelper (>= 9), ghc (>= 8), ghc-prof, haskell-devscripts (>= 0.13), 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
 9b7df67fab1c62c84b453003016210e0135db3ce 2100 haskell-presburger_1.3.1-3.debian.tar.xz
Checksums-Sha256:
 86021abbd457b3bac9cb0f09ce741c4c03de433ca8834532d68d84f90cc3d097 10794 haskell-presburger_1.3.1.orig.tar.gz
 8a8940dff9c2de8e0894153fa07564223ccca055cd39ccaf05b11c3e60749e71 2100 haskell-presburger_1.3.1-3.debian.tar.xz
Files:
 bc1c082cd7de5e5c87e9bf2cb8d9a069 10794 haskell-presburger_1.3.1.orig.tar.gz
 a782d6c47a81d9704707e50261a1b049 2100 haskell-presburger_1.3.1-3.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Comment: Debian!

iQKOBAEBCgB4BQJYEpHNXxSAAAAAAC4AKGlzc3Vlci1mcHJAbm90YXRpb25zLm9w
ZW5wZ3AuZmlmdGhob3JzZW1hbi5uZXQ3NTgxRUM4NzQwNTNFNkM4MDc3OTFCOUI1
NTkyMzMxRTE5OUQzOEE4ERxjbGludEBkZWJpYW4ub3JnAAoJEFWSMx4ZnTio3UgQ
AKMI1phEY+TbU/5xD9XrLulX7fzgX7LUZGapuKrksW6pp0cScXmZJ12WnNtQDAWU
bTLElBPN4mYSHvYfS4s0utpEyWq6XCw03LNnYpCgDD9A8XUmRIaoI5KzRxnzLyW7
0v9Us3ZQOOkg3ctXTzJJYn98yfGFRJoHDhlsNMdvYPIcMG7Ol33DT/BxojpPtAfK
/T8JzBXcXKXayIekhcx7hUavP8UDyUStojq+Gxnkxdazbd6hvGgORq+nG4BsUy3+
8DXfxaBsx2eoPeAIrxvDX0qHLm9UP+axJLmmHY77IqMptzjwrD14w2KOR8iYEOQG
OcsHqEFyFbPyWsTyiDL9j3oFFV+y3OYKfv2S7cTx9yIVNWUzvs/GIs0OZNe18Xux
wdcLxvdyrAavQy9syQfU8FKostYku98O2iIjf0WgjOk7WTOX8zPDe7boK3PpHtYB
tHVK1BFUR9OqLHQ/tmZgWKwqQbIrR6gDRVShZsuLWXmE/gWLhj/LkJRKAMOmbfCg
R4PHP5AkJq8G29DQhJ/ktC8zn8wGy0frZ85uHiCJOFbnU3DLWHUYkg9Voat/+Fcc
ZTUAYU4uJPLVOSSSNEXFMJULSpMIkA20I8V4qivCAf/zl2INu3A05GZgnzvAyRKk
Q0m5XSZbTFZ0MjYI/nu9hvB88Ixb8ME0Kp9kJeeD6CzS
=JQuZ
-----END PGP SIGNATURE-----