-----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 <pkg-haskell-maintainers@lists.alioth.debian.org>
Uploaders: Clint Adams <clint@debian.org>
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-----