-----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-10
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.2
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 (>= 9.4), 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
 72b463265785d04c58afcbd9109530187ba41fe8 4632 haskell-presburger_1.3.1-10.debian.tar.xz
Checksums-Sha256:
 86021abbd457b3bac9cb0f09ce741c4c03de433ca8834532d68d84f90cc3d097 10794 haskell-presburger_1.3.1.orig.tar.gz
 81a17bd7d031225dcb55613ec40eb71eedf92204225726c1ec7cda2389e4aeb2 4632 haskell-presburger_1.3.1-10.debian.tar.xz
Files:
 bc1c082cd7de5e5c87e9bf2cb8d9a069 10794 haskell-presburger_1.3.1.orig.tar.gz
 49db59313f3117ce5ec7b5a458791de5 4632 haskell-presburger_1.3.1-10.debian.tar.xz

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

iQJIBAEBCgAyFiEEJ9c8pfW11+AaUTb116hngMxkQDwFAmTzQBkUHGlsaWFzdHNp
QGRlYmlhbi5vcmcACgkQ16hngMxkQDzXpw/+JleNa/Z9UHG7jnQ+Kf2MAJr8xOrV
/5gq7ahVseYkhjw64Ug1zaowa+00Qcr4U8gk9flh3G8HZyCsR4hXytWvSCYr02Wc
lz1zC/MY7iF96TmwajA5jSosNHQ74gLFP+RiETp1K5qxqraqfOlm76czV6BrnMt6
rC/+cet/iTydF219ZzHuCUEVYEB+DV4PdwRCixpvpWVbH/0Iuo4kS27LWiZeKgqR
iThm55KzkA9/bHez/NWM6huhL4xH/kFc369KNSs+JL6SCTKnTYoVrQuoohu0mxip
nKD6sCcXusXw+S8PHZP251rpjGV/Q9JDiQXquyzoLoxTsj78EJTLIr4i1mr5RRWs
MULPFNick4pVg/7WckrR4vTV5Wmle3/ShwoAK5BnFSmAzBEC/kdpZTNNt8WnKho+
xdWop0ea+tzfRpoFtMj2panAlbSm7cri+xJfLbIL+KjEVETSOXFrH9QsLkEh1sNX
bqEEFOLkod8RUxGqilrLXLttQACZGx1YV9QnZOy+RDRiXFYI+la3Ni5309CN7KD5
iVIk3H1mn38X5c0T4SBTdeC3VpApeOWWPkxRpXWjsdhSs1qRm+XvrpQEmj4Cm1RX
hjruRbyFkgF7ph3/wmlR04IKWpRGGnR1kcxUo1qttB4nZGwAegWfdAWTvs9FxIaa
qJHrN3g1jgaRKfY=
=5u2q
-----END PGP SIGNATURE-----