-----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 Uploaders: Clint Adams 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-----