-----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-8build1
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.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
 e2e643ba8b7e65c81b33a48c0bb86314ba238c52 4644 haskell-presburger_1.3.1-8build1.debian.tar.xz
Checksums-Sha256:
 86021abbd457b3bac9cb0f09ce741c4c03de433ca8834532d68d84f90cc3d097 10794 haskell-presburger_1.3.1.orig.tar.gz
 6ca21af5afcb055942a1331ecc642d86669abf9a9bb3a47011345c491fac8eed 4644 haskell-presburger_1.3.1-8build1.debian.tar.xz
Files:
 bc1c082cd7de5e5c87e9bf2cb8d9a069 10794 haskell-presburger_1.3.1.orig.tar.gz
 1c1591709ea0a17b2a679ac6f39615c8 4644 haskell-presburger_1.3.1-8build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAl8YMDUACgkQ808JdE6f
XdnCKxAA0WyTGai8BLjxee2Q8Om4IatSv9H55tWf1WbFvorq98nrsqu3CAVpgvbm
5U2LzXkhXvSBF7CVhV7Lxptb+xLiagBzZhKtk6k6QwpwS1uSB2Rrx0ymg2gBjRys
D+Vw2fYfDrCz2txh24javUuAdvoxfQ2DdUyX0rFcU7BSgTGxxL2ta0KwcFWl+yky
i82o/737UCbO1jhT7SGXGIRG6Vca66kQPsI5zD/KgX1A/L3CJ5KwMpM2sdo3FEVn
mn2ilSRKj2oLwMFEeajyKSO74VFFfq4PlTpLSokZfJakWOMZD9FU70IaCHr7NCdl
Tvc6XMd715nkO1Rr2GYAEXNTEfX74gy4D3zTr79iz8SmHp9wspSh3hKfJH6LQths
0ZBoVeHKD84J2sCHDgO6WA39dTlUQJqX1pJkMxRBQwuFhVw6qCsQqw//hKKK4+Ht
RJx7RLE8gZko3k5QKtYtBT+BMYj5vjcHWyL6INCNmLu76o0AMR2sb7CNL2iJmp/B
fy93Mhlev2VWvH0NR9x7m15+7AgeikEa/5gV6uQc7F/DWCPg4BA6jPb19wGOun/z
5J0/5l4elbucA3hremBwR2qgr+GvuUWhibLxgLK/djJR9CH2yqAICMtuNOmIzafb
I2DCkIWpuYh6o2sOqlu3mPu4WnxSXQJrfCqLiGAXBZk3kWSKqRY=
=nAOw
-----END PGP SIGNATURE-----