-----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-9
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.6.1
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
 25f93794cc53268529b3be20562c0be3e3513ee1 4604 haskell-presburger_1.3.1-9.debian.tar.xz
Checksums-Sha256:
 86021abbd457b3bac9cb0f09ce741c4c03de433ca8834532d68d84f90cc3d097 10794 haskell-presburger_1.3.1.orig.tar.gz
 bf1ca2c356f99c557d7d3e54b64fa724dac49a581d312b88167663264e8a223b 4604 haskell-presburger_1.3.1-9.debian.tar.xz
Files:
 bc1c082cd7de5e5c87e9bf2cb8d9a069 10794 haskell-presburger_1.3.1.orig.tar.gz
 93b497f7b95a8135fbfb37c6750b3090 4604 haskell-presburger_1.3.1-9.debian.tar.xz

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

iQJIBAEBCgAyFiEEJ9c8pfW11+AaUTb116hngMxkQDwFAmK8mK0UHGlsaWFzdHNp
QGRlYmlhbi5vcmcACgkQ16hngMxkQDySIxAAv9UcjZh5/T60K9lwbn49pbJU6reL
oBUaPTHz+FZSRr37FxDntg0ZTmIfy5aTfDTG4X8Qu+0HsITJ0jPc7HqLHnLmIa56
441KXoSwaUX6dwkjV1NZgknMy4wr9E+cBGGFz+Uec1HGMuvdzEj0iJLWlLwmvNG6
l6FHCywV8pB0529fxhXYn+WCFRBH1GLpD5cqu/qfR6sAJ69qCnnnBUHG5Y8ftCcl
jSqDP397wrm3EN7bTGAIGx04TP3tzz5IBkXq/w8c4LfgrLakvYqXe1GVcCkOKMGz
SqBByB7p3KAA5qZ7I9I1izWclOWyrtBwVi1GQ9bdYB5HCzgRvzoXZiWEN699hIKH
0C/THh+tovmG+XG+FdoK/y7Y9JMy0Gpat8965w8incLJW50yrwAHuTjngJpZry1h
G+d3xt2cRJ5qxaWArkLbziKYytU7WNbFjF8pZfEpDM37NxyJ2805Q2ZikU8CYrX3
dFXbYMwBB90qg1Fyh6OZABq/02Jeg73c0rcEb08XOpCHp+raQjp9t/XhurrDp6/o
lHKJiy3uVlfpXm8NSgmmkqBjELFh1KlZoCfXErp2x5R4xUoNuOX1PW6JuAoyTf9a
F/rEUA/UiW9k20pNKvMrAxyp4v1k82DoNZkqXMR0deBjHDcnu05L+Z6yVFKq7k3Q
/42YhwKIflkpAro=
=Z7jl
-----END PGP SIGNATURE-----