-----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-8build2
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Uploaders:  Clint Adams <clint@debian.org>,
Homepage: https://github.com/yav/presburger
Standards-Version: 4.5.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 (>= 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
 188019655b7fb93cdf87b3b32bc55a3249f2c9ec 4736 haskell-presburger_1.3.1-8build2.debian.tar.xz
Checksums-Sha256:
 86021abbd457b3bac9cb0f09ce741c4c03de433ca8834532d68d84f90cc3d097 10794 haskell-presburger_1.3.1.orig.tar.gz
 3ab60308ce4b65ca1166563c279589452ee607e2a93c84e82c9a7b1dbb72ff73 4736 haskell-presburger_1.3.1-8build2.debian.tar.xz
Files:
 bc1c082cd7de5e5c87e9bf2cb8d9a069 10794 haskell-presburger_1.3.1.orig.tar.gz
 e1e33c344cbced694c35a74d78d113ac 4736 haskell-presburger_1.3.1-8build2.debian.tar.xz
Original-Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>

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

iQJOBAEBCgA4FiEErEg/aN5yj0PyIC/KVo0w8yGyEz0FAl+bKbEaHHN0ZXZlLmxh
bmdhc2VrQHVidW50dS5jb20ACgkQVo0w8yGyEz2Isg/+O4oOuY/Ea+/4uYtsmbyB
bled1pKHBRtxjylZKHqnki3Ezq5p2bQBZpav32Wx2cBUKddUOXsUOYZqwVLxq4fx
fEy/DPId2Oo5BlsNJv/AY8vt7wkpPeU9I8tpQaQevlSw1OFH9HWXgz6oha2dV+QZ
ovGhmzNin25HOQWwPrVuNejAfNcdi3a5Pkv4/dUYXyoFZtfg4FCfHB4ljW0SDXMo
e/LO+tdaoqkgb/nRVdK372nAeNLauDL/JlPTEbl8BF4+OGkdsJdtQKD5pRTM0QZQ
QMqm7FsMX+uFsI93SPer34vgel4y5RAU/v1utHe/AwJRNsByoSTTmhq4CMgVwNyw
i88oUqGaKIb405s/PZwOTLOzmbdWtehMaDEaVD+53dEUdqZnd2neauVs7nqbxEa/
7S+p/3ZTwnzwgrRjrDsIiL+0hpaPDZ+1ZXp2uxpkKY3TtCbE5V8zKWUpEYFKa8uq
Mm1RZbQZnQ9HSq6bTOMtuzVAQ1QZQpKiqNwrkZ4rBsrGNO9Jj8unviAPjFLXjBK6
GciaTb4CHw2hL2XCgcJnDtZFUivszAuOrMCbG25qdAO56CearL55kYYEAWB+8wqY
lsnGb9yo4qZXBDLLqpXXVs4vfZSh4xoJgFOllQL1iv+IO+dtvcFL8YURZtn7s/uG
yD5UxMeQaf1eqSZ+xMQYe0A=
=HclK
-----END PGP SIGNATURE-----