-----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-7
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
 e09e82891354b0e92299db09d413fea49e41a58f 4348 haskell-presburger_1.3.1-7.debian.tar.xz
Checksums-Sha256:
 86021abbd457b3bac9cb0f09ce741c4c03de433ca8834532d68d84f90cc3d097 10794 haskell-presburger_1.3.1.orig.tar.gz
 dd88059bf43810f4b0e0a56b0481a689143b1ebc38b7e52f80e7d9dc05ac389f 4348 haskell-presburger_1.3.1-7.debian.tar.xz
Files:
 bc1c082cd7de5e5c87e9bf2cb8d9a069 10794 haskell-presburger_1.3.1.orig.tar.gz
 a14ff51babba8dfcafe68fdac602a9d0 4348 haskell-presburger_1.3.1-7.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAl1iQgsACgkQ808JdE6f
XdnEqBAAkgc1A4ovg+tidaD66fxhb9AgEtAJkd+EE9Yd9yWbKYykMX0Dwb9uA3kt
hoFXFAsh3qe+gheido6ggtLhzNK98Pf8VRU7XSTNB8Y1cqQ8LHpOayfLKXL6sv84
ev0B/ew9U1rbwxOa/CMlVjubKsoaEgqAG8b0Hfrbm1kJCNqCv73sPedwx/AyZRF8
qT7SiteUN2hORj2c0NOaMOq7XLO1DTNlgMb3DCgeRFr3kMof+bBp32yWH1USxP1w
GBU9oF9+CouXa68badkAnN16Vx9ZKXrYCPl5RdftwhJXlcye3aeZryKmQSqmNlAk
dJidntMfz62X0dxOlXwjzjkSbjlcHu6DxHMZV3AbU+bS4+T36fpHNv3S/QR+ISV6
Z0D0fxwmdYG5RTiYWfJetc2JxElr01soXRVZiI65xqafWh/MeSzddQKtJUDdwEP2
kifcHI3+46wn+/BJumEtZO+B4vNnB9y4SPdJoO+nvJ1EYISKYqVlFBLsP1g4QFyB
Phd+HFckVmMN/sHIKsG6daTjgq7fhRndn9H//HFAV2qeySPdt5qDowX8uzRb8HXV
wBicyHCDSFPEdxuqw5PhBMXxYSl8PelIgP5j0vMAuViDoKCD63WtVy/5bVZMVgKS
412WTbmO0OTn8iPiWIwxzZRfeMwfYg6wp1/3hJmsdNSncLOemTY=
=g0zA
-----END PGP SIGNATURE-----