-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 3.0 (quilt) Source: haskell-sbv Binary: libghc-sbv-dev, libghc-sbv-prof, libghc-sbv-doc Architecture: any all Version: 5.9-1 Maintainer: Debian Haskell Group Uploaders: Clint Adams Homepage: http://leventerkok.github.com/sbv/ Standards-Version: 3.9.6 Vcs-Browser: http://darcs.debian.org/cgi-bin/darcsweb.cgi?r=pkg-haskell/haskell-sbv Vcs-Darcs: http://darcs.debian.org/pkg-haskell/haskell-sbv Build-Depends: debhelper (>= 9), haskell-devscripts (>= 0.9), cdbs, ghc, ghc-prof, libghc-quickcheck2-dev, libghc-quickcheck2-prof, libghc-async-dev, libghc-async-prof, libghc-base-compat-dev (>= 0.6), libghc-base-compat-prof, libghc-cracknum-dev, libghc-cracknum-prof, libghc-data-binary-ieee754-dev, libghc-data-binary-ieee754-prof, libghc-mtl-dev, libghc-mtl-prof, libghc-old-time-dev, libghc-old-time-prof, libghc-random-dev, libghc-random-prof, libghc-syb-dev, libghc-syb-prof, libghc-hunit-dev Build-Depends-Indep: ghc-doc, libghc-quickcheck2-doc, libghc-async-doc, libghc-base-compat-doc, libghc-cracknum-doc, libghc-data-binary-ieee754-doc, libghc-mtl-doc, libghc-old-time-doc, libghc-random-doc, libghc-syb-doc Package-List: libghc-sbv-dev deb haskell extra arch=any libghc-sbv-doc deb doc extra arch=all libghc-sbv-prof deb haskell extra arch=any Checksums-Sha1: 0ff687857e8cbd4a8096611c06afea648b44826d 525743 haskell-sbv_5.9.orig.tar.gz e0d1d2eba65378b740d67edce81144b879fdd0c7 2264 haskell-sbv_5.9-1.debian.tar.xz Checksums-Sha256: d515d54203862c936f0395aec042e7bdc8779bc4342ce921622694d6ff92f3b9 525743 haskell-sbv_5.9.orig.tar.gz 1dc8d55c5ae53255c84976911806f45269754f4b91ec3504a1fda2cf94ab3eb1 2264 haskell-sbv_5.9-1.debian.tar.xz Files: 1abd703b02261f770eee9bf054f0052d 525743 haskell-sbv_5.9.orig.tar.gz e9939ff974a100bb3e6ac9e4053e716c 2264 haskell-sbv_5.9-1.debian.tar.xz -----BEGIN PGP SIGNATURE----- Version: GnuPG v2 Comment: Debian! iQJ8BAEBCgBmBQJWkxh7XxSAAAAAAC4AKGlzc3Vlci1mcHJAbm90YXRpb25zLm9w ZW5wZ3AuZmlmdGhob3JzZW1hbi5uZXQ3NTgxRUM4NzQwNTNFNkM4MDc3OTFCOUI1 NTkyMzMxRTE5OUQzOEE4AAoJEFWSMx4ZnTioirMQAKCXnjbXApR8pI1zH3+FpKmU kWRTN+m50d1TISrQfm7PXOa7V1JyLivGJbl3EY9hQBqVKxS0TT6z2WnPeHQUWfcm 2kpU5K3ITsLzbE+KbWAaqut1kQgg/U5BLiMgP2d0mSfiSzuyk7sU8AvWXpZhzsPe a4aA2iMJpIXZvKrapcdJnBNDyubHrNo3Hy0jowK0Zha9dU8xQjhg2OLE0xNF71X2 wDPVEGlJa0konf0TD7ZNTx9grF0z7ju4gx7ir5ybm/5gfiuPnDqwSFM5YxBhSHAe CSCit202qcl5OccqwxNIVJlQ8TFBuoo9Jvh6ko3x4j25uwygRUxdsjXN8Y5cxapn dDFZJFgILmoGEVa8y+7x/vX9NLFxlO/JqNI9NjuDOEWQepWwKamawk6FLn9i6AsY d5Drn8ecz4LQfqpmehq+s4jajZkspzViiidrU0+YfjDIAAypFc+F+u4qgll3LeS0 QabWqY264Yn1VvkLUqwV8pw0UK6a3MPm3Ci2ck2UJQPNqXFgfl7teMxrRnfSB9vQ qZm+vbMg66D1dFxCrqU6QSJMBUwWEWTEvmJSRnAvlTX30iPY5x0wc05UDF8yp3hh CrC6DXAKSioKTYVHsxq8jKIKpg+hEC9E287u7BPai0//l7aRaXi+FL4D0C+7z2+u esbYGiyYerr6yRzju/HH =sx90 -----END PGP SIGNATURE-----