-----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-6
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: 4.1.4
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
 b3b124e74ceb238d5b417494da1922bdcbf2b167 2652 haskell-presburger_1.3.1-6.debian.tar.xz
Checksums-Sha256:
 86021abbd457b3bac9cb0f09ce741c4c03de433ca8834532d68d84f90cc3d097 10794 haskell-presburger_1.3.1.orig.tar.gz
 5cb73e1655e31709be75ae9c43b616732dbbdd8def2b0f799eaad3279fab081d 2652 haskell-presburger_1.3.1-6.debian.tar.xz
Files:
 bc1c082cd7de5e5c87e9bf2cb8d9a069 10794 haskell-presburger_1.3.1.orig.tar.gz
 2b07e1fee5c31518fe645b218942a6a0 2652 haskell-presburger_1.3.1-6.debian.tar.xz

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

iQIzBAEBCgAdFiEEJ9c8pfW11+AaUTb116hngMxkQDwFAlu2D68ACgkQ16hngMxk
QDx+zRAArT0PpC7rGpsMaqtcXEQl0nOb+StOFmUoh4Iukl5hb8P/snBLQ23+ZVVE
aZQlfFXVNBMBDTxYuDWGnDdbDqxLSM1dxG/pEToDkGihD5EjUrkv2iBuXHBS/DK2
LPQ1O6HUM/06c+PSgpkREcTQJbKW+xfHEdz2SWyAXOntFgGPRFbdE6nTwVDzxhro
FbUe2DlICLckyt703JcoxvQIH0Ep4Tj/dguBkSjYKntuppXeoIqJDKI8OwVVRESI
EHfksQYd2vBgmjkteBjBhInXYMz1moiD5eZs3CR5CLLv/LyaxhnattTlbZt/W0AH
1Efdigc5ftjaJm0De3VQNh9wLVYh/ezClhDZtxzBQLiB2eWRbctsIBwuYFyLB7My
sfXFvVNCVo41JPen8r+J1oAiDnj9PsuAaHhrY+G3rnKT7QPeeXzxIwUX/sckGrt5
VgMzrqBEe8Rg5m3P1E1JwfLh/dldQln2O7Gc/qmpq2hAEXhp4INEADiApJI0UbC/
NGgfKJEky4fsgJ+6MKq/SWnpltloONkyJmDKUNc8wO6Tu+Kzu7hDjzRjAIonsKh7
QthS9ONPrAVHkH8ithhKajMxdybOMlqmZxMSkIHjChBfSRamIEKCI+FzT4iEEuMI
f/Jn0v+rn/kq+wc00EdIkskBSrynf2X8dWzU4ZOma3kRtU4T/EU=
=B1Vu
-----END PGP SIGNATURE-----