-----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-1b1
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.6
Vcs-Browser: http://darcs.debian.org/cgi-bin/darcsweb.cgi?r=pkg-haskell/haskell-presburger
Vcs-Darcs: http://darcs.debian.org/pkg-haskell/haskell-presburger
Build-Depends: debhelper (>= 9), haskell-devscripts (>= 0.9), cdbs, ghc, ghc-prof, 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
 e612976261a1ffed498598886f6496575253b6f2 2028 haskell-presburger_1.3.1-1b1.debian.tar.xz
Checksums-Sha256:
 86021abbd457b3bac9cb0f09ce741c4c03de433ca8834532d68d84f90cc3d097 10794 haskell-presburger_1.3.1.orig.tar.gz
 d26b60ac0b519d630a15949c9e91a6914c010c655245aaa089b3d78c2f890dc0 2028 haskell-presburger_1.3.1-1b1.debian.tar.xz
Files:
 bc1c082cd7de5e5c87e9bf2cb8d9a069 10794 haskell-presburger_1.3.1.orig.tar.gz
 0f4c209db047bd737a0e9a4047e2e702 2028 haskell-presburger_1.3.1-1b1.debian.tar.xz

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

iQIcBAEBCAAGBQJXa933AAoJEKBN28suwKn/yXYP/0cd+orgJUptsomaYi6QOwFH
/sKRs3E9qi3MpM08+4EDma0VehuYOUp7KQxaWgr14KD6bxbIEZvEbzW2cYWQajnY
bdwrpJMqFj31xSF3rTFOUs2YsZO6GrFNSNdSD04k5H/FeBgRk7DyGX7gHkX0FVwH
HjlkUpBPmGyKcDU/5J1Hf+gHHNiUDZ/iabqwlhlILwZ7y1Rlfzte7SBIakRnpITm
fyRzD3L8pmsj5cKsyUh2LjWpTp6SPekjOF9r5OVbJYgQJvRBgLfZdP7utZuYgjkC
zWnY2Re0SqQFcGjZuEen62TW7CpgRGG58hVc8eBBd/Qz8xXvmRzY/VLwwBfLISrj
2MRpXRPvl/aqjzAD1BjzOiREizZX6DdI2YSWGu0TSQlUrVj7gryTJhtYOVfkp8k9
G5b1WLuXElI0yEKieJojwkZLlpUmxetLF1FRl4OkgFP02bdiJnGC/ph4brnAzlXs
pIBLcGK599m94VLZHXDesAo36ldzXWIbS4kkM858LkZuhbnOkEcH1UKiUqcaVrIE
FB8jWnP/ac6ulnpPTPlaWnsd4W7Y/nTtXm3/fbSgJOHFcc5/te48C99H8hvq4d4O
N7dJ7ltie1vjJ4/MeZIkPOY9o1jH+hdJSLuiEtWTZExfkMzekFjCwAhhlYuBTqfc
oIFcMhKnlkEQx9IyDE90
=dZ6L
-----END PGP SIGNATURE-----