-----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-11
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.7.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 (>= 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
 0ab251e7a5f049c615d634cd7865fbcc1a6db8d0 4660 haskell-presburger_1.3.1-11.debian.tar.xz
Checksums-Sha256:
 86021abbd457b3bac9cb0f09ce741c4c03de433ca8834532d68d84f90cc3d097 10794 haskell-presburger_1.3.1.orig.tar.gz
 9aae8697b2f602a486022881c9e29aa1e76ad8e0f05f97e268f5161e29b9c558 4660 haskell-presburger_1.3.1-11.debian.tar.xz
Files:
 bc1c082cd7de5e5c87e9bf2cb8d9a069 10794 haskell-presburger_1.3.1.orig.tar.gz
 e232bddc6be77c443cc410b6c490297e 4660 haskell-presburger_1.3.1-11.debian.tar.xz

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

iQJIBAEBCgAyFiEEJ9c8pfW11+AaUTb116hngMxkQDwFAmbr+NMUHGlsaWFzdHNp
QGRlYmlhbi5vcmcACgkQ16hngMxkQDzXPBAAxmkPkKEOfJjghCth12U19v0+knQC
mGR+wWeOHQPduglulP2t0nlicfa9B6oFyM4bPrg+5wSWAehUvDJmw9wwTLZgCAUY
E4jYELN4f6CTe16sg0banKfOiTMdYlXbfY3mOhonQgiJShNx6uFZpU+/xCtsWHlQ
Rh6dNQt0z+NyjdrtskU17/Hx91UeqwWEr2kPjClqPB4oeNawr8l97d4hn8f2w/hx
pKzk/5UyO2YtMGPXkbTRIoSfiu/Li6CadZ/9IAJa+L74o3I6oyuDly8PiFyS8HLc
uc2jUlFzluqeq2PwiJ18wjLsLRD6YiAQJjxhcoSRlKdaQ1dLWSCIWtOD9Hi+sssX
6KHqkTGcgnBhr12RJ2i+BCwhC29d4QrPQ1F0Az1z2I8B3ljPDgCazrOrc+BOtHxm
VSlpOpoWMmY7VD57VJRxVU33ND4lOXNUKUN0+MmHWyz9DZpBox+0vE2Mn/JK1JzE
2/fN/qpVHmrkaDm9EOJJdkp8cs+QAF0br19R3A2BgbbOjb3TsNnQq7nWH5u3j8m2
trsvBMCu2SES2fxjeAfX+SXURq+YcI1SOyZkIwLqoERfkX3d5+/cXOcZqAiOQyP2
HsGmd/Wz3VNOSMviobqR/as8uIEu6qD1bGDw6fJamOGX7Ar3uChBjM8ABCF1YsSX
ieAT/QJblV96M8c=
=J1Z5
-----END PGP SIGNATURE-----