-----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-9build1
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
 95e3e8919d8e8a4b724d932de14f48bdbe761214 4648 haskell-presburger_1.3.1-9build1.debian.tar.xz
Checksums-Sha256:
 86021abbd457b3bac9cb0f09ce741c4c03de433ca8834532d68d84f90cc3d097 10794 haskell-presburger_1.3.1.orig.tar.gz
 a3f22f31b1903acd58045d7519ad3771d5cd7335a0b67397e2ebfefe801132a1 4648 haskell-presburger_1.3.1-9build1.debian.tar.xz
Files:
 bc1c082cd7de5e5c87e9bf2cb8d9a069 10794 haskell-presburger_1.3.1.orig.tar.gz
 5250bcdf67a46c34e7e123a72a336599 4648 haskell-presburger_1.3.1-9build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmOUYUYACgkQ808JdE6f
Xdn24hAAkTQQlRrkb7V8oBgWigS3orQ+LvCWJmTiawKUmG3WONU8TR42Mnq1F9kN
ztJaQ+Y1rabI2SyvNcop5/vag4ryzBwkbJBPW7lvLrxIYx6rCsma4m6sMxZn0GFS
F9hKCMIY6EPaSlDxNO674JxZG+qfINHMnpqRAd5PDjidaULyUdRCr2jsaf4I4I6k
LfKppc2UPiMhz9vu3CJn2wcVxLdn6zPy+SIh0a5W4CONtNoVlzosWlr6pI4xOQre
4wVV2W7urfxZh50nZ9KK9Gkpc+gN3QnVADL4e/VW4LIZkH1j7EYEbYKttsSJi0+f
mQ1QJKiHLKAXewefR2uha3OAWoWXltMgLZ6k5VnNoEM4vVcSqDeIMWhc7w/x/XSN
fkdWwIgK2qbVt87DVfLvzSmhfT2Msal6JJgsY60gHP6G4Qz5HS/iB4CixcrwjN5F
2ojmuKjCch+7BWhCtc6zfd0USvLusjosNFtptLAX6FaQCPXlTYoYL6BqrldLDOV3
uICc8FBHSM35C3nJAAxiLrhEnnnu++vdsjDqJhQW4jPxqTF3OPoAL4XN2MilKdW/
ZgRRugq9rWkk5/Pq5kCXi1kGY+oZ11rOkog6+2sRjtZRWCiN+FkoEEIqh9aLKlC6
tJhvUaUA4IhcPhdD0UUMZ18sIYttTRmPQWBoHS7E/KweM+T30qk=
=Hvii
-----END PGP SIGNATURE-----