-----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-8
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Uploaders:  Clint Adams <clint@debian.org>,
Homepage: https://github.com/yav/presburger
Standards-Version: 4.5.0
Vcs-Browser: https://salsa.debian.org/haskell-team/DHG_packages/tree/master/p/haskell-presburger
Vcs-Git: https://salsa.debian.org/haskell-team/DHG_packages.git [p/haskell-presburger]
Build-Depends: cdbs, debhelper (>= 10), ghc (>= 8), ghc-prof, haskell-devscripts (>= 0.13), libghc-quickcheck2-dev
Build-Depends-Indep: ghc-doc
Package-List:
 libghc-presburger-dev deb haskell optional arch=any
 libghc-presburger-doc deb doc optional arch=all
 libghc-presburger-prof deb haskell optional arch=any
Checksums-Sha1:
 9236cb55d7a767410b971f7740bb401b6c8e1349 10794 haskell-presburger_1.3.1.orig.tar.gz
 f36ff8e4390b2a236ae449f38e6c52f02082f6b7 4592 haskell-presburger_1.3.1-8.debian.tar.xz
Checksums-Sha256:
 86021abbd457b3bac9cb0f09ce741c4c03de433ca8834532d68d84f90cc3d097 10794 haskell-presburger_1.3.1.orig.tar.gz
 25d7c4c46f507ec394bbc2a31b1116f51bc0cdea1489590e2e307b8165d53a3a 4592 haskell-presburger_1.3.1-8.debian.tar.xz
Files:
 bc1c082cd7de5e5c87e9bf2cb8d9a069 10794 haskell-presburger_1.3.1.orig.tar.gz
 6830417b7705827f469b9541c1eb0ecf 4592 haskell-presburger_1.3.1-8.debian.tar.xz

-----BEGIN PGP SIGNATURE-----

iQJIBAEBCgAyFiEEJ9c8pfW11+AaUTb116hngMxkQDwFAl7o2GMUHGlsaWFzdHNp
QGRlYmlhbi5vcmcACgkQ16hngMxkQDwQzBAAmvkN79fGO8UrYgHIPJBFZ9e2G6Cy
63sbhu1HVUTdFplucFz0z2Bls5Tvp/B6xZKdr9e0ucf1AdHozllbjVGKXfldNmQS
GsCPD9AVVt4QmWfzbL9fafDk/swCHQLRkeO2G1kEgBr0ENaaLls/IHRzdZYEKdJz
GM1nwuZL1sR0Kgb7gxOIUxnCOyOwX9RG0AaH8vnP7tA/9EHL/SRu0Nf99r9e/7Ju
32eGOGPbZ0PtFv2mBI+eAOWN40Ob9V7Z9cXUWOIEhrNGPpX10P3wzx7+8K4b1uJv
iGZjZEKK191sSBzIR40m+MiVqPs2vn40vk/Rv+3oRVqKeeao+8DNeRle2npWPwE6
5EHrsY7fcn3Wp18jm9+TVwDYXMoA6If1VHHvg5IwMp5dGGI+5CXNg/YWHBL9MlSE
Vpqc1SSkuV4DAj7UPzTll7pr8VJsq8g690qPkjkl48iUILuWfqUXDcj0TLLNu5tw
nDF/FAiCwPnBHh0A7QkUUQD/ZQW13j8512KSZb9NVD8K8EeQQabwWrt7t9qFYlbN
P7xb0cf0G3Pg3CPJZiKbqWd9c7IwY3gzrJwcmXKrY4Y9E9t9bdoggq8LQIQT9wmv
2iD+XFc0T6YZ6zanV0MTpIEverV3c96plBH9sH6N1BmOP3lFPSBqVkR3miOxDjY7
2h/wNrh6Cl8zors=
=l3qj
-----END PGP SIGNATURE-----