-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: haskell-presburger
Binary: libghc-presburger-dev, libghc-presburger-prof, libghc-presburger-doc
Architecture: any all
Version: 1.3.1-10build1
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
 84b178a26e9408be3b8918e9b33b74faceaa0135 4680 haskell-presburger_1.3.1-10build1.debian.tar.xz
Checksums-Sha256:
 86021abbd457b3bac9cb0f09ce741c4c03de433ca8834532d68d84f90cc3d097 10794 haskell-presburger_1.3.1.orig.tar.gz
 43f700fc1094cb0c541b730f3fcdeb9c0fca40c9ef447ee0fdfd02d1e5e17e38 4680 haskell-presburger_1.3.1-10build1.debian.tar.xz
Files:
 bc1c082cd7de5e5c87e9bf2cb8d9a069 10794 haskell-presburger_1.3.1.orig.tar.gz
 5f6cd1b1bbb1ba2d658d6cc2b3c09f07 4680 haskell-presburger_1.3.1-10build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmZEfQkACgkQ808JdE6f
XdnMIRAAmnsYO8ty7bdSZWFKXAEj8Cn43Kg74hEHaPEnFF7GWQGNFInFDXZrc9Dh
FbKCKK+kQovGUNgYO3SaYZ/pZwvy5c9msVwmi9Y+6pMsglmBypWGwMSrOdGIgIps
hqec1bQs9T9vHLZPBL/TcnR3ktq0Lc8o69KRtBMOKAHkcR8vojVEREwCgtiocdGU
/CXZEj5go/mkxyHyQUBZWgXKOIdMPu3T+3902omm6gjhl6GaW+b9z5O97xKtlUNA
cwIapGsD5ZHZMkj9YHHwa6DBmC2Mb8rgjm4J/usE4k2Jbvp+bFFP7Xq1uRUlYKBt
TohPd1zHMBzvMlP/ZzucaEF4VtlfozlYuSxoegx+GkPbzSm5KJjBKumVHJ/j7HO4
KxEkIoKcEULuM5cTKWQvLlbbQNFi//S32cx6Eg9aPkn5WfDNG0BZz2Fsr5dAK/eB
7Tg8i6ZC1lMZN7FcTwrGwKZ/zty4vsmshRkYhyMbLuFyeNPQl2KM2cXKf8MR7j3B
tk2ZbBqeUnvwCjLPAUB96YEO/Cq/kWFmrAiNZcTDUcU3wtJXwS7xrlzT7HQBc9Hu
OeY2Oxoz6J8ltiZiA8JiJDMvHbaF7aGD79BH3Y+J3Qcc1CfUefnMHDXbU0MGvZz/
QSecldsayUb/HWyrLzdL4s4weKMCM/N2+3tJ32ehWfdA9PNyxLo=
=Zrxo
-----END PGP SIGNATURE-----