-----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-3build1
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: 3.9.8
Vcs-Browser: https://anonscm.debian.org/cgit/pkg-haskell/DHG_packages.git/tree/p/haskell-presburger
Vcs-Git: https://anonscm.debian.org/git/pkg-haskell/DHG_packages.git
Build-Depends: cdbs, debhelper (>= 9), ghc (>= 8), ghc-prof, haskell-devscripts (>= 0.13), libghc-quickcheck2-dev
Build-Depends-Indep: ghc-doc
Package-List:
 libghc-presburger-dev deb haskell extra arch=any
 libghc-presburger-doc deb doc extra arch=all
 libghc-presburger-prof deb haskell extra arch=any
Checksums-Sha1:
 9236cb55d7a767410b971f7740bb401b6c8e1349 10794 haskell-presburger_1.3.1.orig.tar.gz
 303857a3a96a49cac406ebd77c0f6c7254c6a4bc 2176 haskell-presburger_1.3.1-3build1.debian.tar.xz
Checksums-Sha256:
 86021abbd457b3bac9cb0f09ce741c4c03de433ca8834532d68d84f90cc3d097 10794 haskell-presburger_1.3.1.orig.tar.gz
 79967baf0cf0eba0119014b6b18d0bb62aa80d7aaa3ea7dd998263fedfbcd6bc 2176 haskell-presburger_1.3.1-3build1.debian.tar.xz
Files:
 bc1c082cd7de5e5c87e9bf2cb8d9a069 10794 haskell-presburger_1.3.1.orig.tar.gz
 88815eae869b4b4c4c7b0e27b3f10317 2176 haskell-presburger_1.3.1-3build1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2

iQIcBAEBCAAGBQJYiKcTAAoJEPNPCXROn13Z36AP/0lCixTVxaajyaCtdf+oNNrb
jiICAd7vkNn5asYcFUDYPXGq1uOXAoFhz6UjYcZoqvOXlaMeCvpbujAwgPMCp/pD
OqDQPI77uk+CpegSeTxHq5Dw2/ZsfqAMlu3cAZI76vn1yqlRJF9ti+IVCBmD1VDG
DzbTCrsbXeYDXvjAAljwL9nYMgBsMao+HVXKxMCaj+14Cz51jcpMud13nRsMcUMV
vnu2bGhBzZvQ7JppN7SrnDPO3dT/lB1IZzNm781ZfhNw2f/l6UxMdoMfwvjQt6QR
IpWoAmaX8n9XHIKX6RfrHd6t9nWoup7m5CXnK7Ms6SIzr/BjX5hhTw/kZBDdscHm
gFehTUAL7u4JuIu0ytxZSvGkavtl5T9Fv41lZfYarjSfyHcaUHzQzeL+Tt3LXuQX
NMNOGDSd9IhLF9AHE9pABX1LXgc0bSrq3R+VAeJ/qFFJUwiOo4eJUB3azLYrfE3b
6Ix4hV+bwiIJE29YH125f8P3Q8rqGjFzeNMpw0U+JgfAhKKqZEccDvyuaT4hdM14
1EKs69ltBkPzdh40MBpImLnM5JBxAeunLLGjC4DeqQmt5d7AKYpiGv54pkcOPOK2
n6N29kvVe5iXfhGItzlL6F5x4BavEQyR3P1AI+f5VOqHbZKDUwqLUL0/1SdOdK5G
3wNNjJXQWDB8gUQ5NkxY
=2s+f
-----END PGP SIGNATURE-----