-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: haskell-sbv
Binary: libghc-sbv-dev, libghc-sbv-prof, libghc-sbv-doc
Architecture: any all
Version: 5.9-1build1
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
 74fc7965411006dd86d942b9c1e8c2cb0be2c317 2348 haskell-sbv_5.9-1build1.debian.tar.xz
Checksums-Sha256:
 d515d54203862c936f0395aec042e7bdc8779bc4342ce921622694d6ff92f3b9 525743 haskell-sbv_5.9.orig.tar.gz
 b80a6c6a6d9b24b5ccdf34e80cc708cd028261608d9f53212641f728861fc8b2 2348 haskell-sbv_5.9-1build1.debian.tar.xz
Files:
 1abd703b02261f770eee9bf054f0052d 525743 haskell-sbv_5.9.orig.tar.gz
 516edb687a09a8fa2c0fdd7779351ffe 2348 haskell-sbv_5.9-1build1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
Comment: Colin Watson <cjwatson@debian.org> -- Debian developer

iQIVAwUBVpYwuTk1h9l9hlALAQhVPg/+OJK/jacNqTJmN0cOFsFSLRP1mZtXExiX
OYPYqWRGYb+wCHMpCu4NBpRqPiEVpzpBHgw5CExBTHii46rCS9PLVRqLyqC9OcqB
eAvJpdQm+zQt0E0UcYmvVTQ5Rj9XVUkeQha4H/8NOCVO6XweZzgtfWBA4DZXGhYa
KVjv9b9YKzjzQyobexJIxtHDo5sWFZieELXdPz/Zx4Ats1pk1Zu5mzZPuTCHtJJO
Ji85jmdkZRY8+3E+RxVUXD1KgpZC9o8Z3f+58u/kdyOxQLCd3+9qPMmtLYkbjE+h
d2Hal4rWuVmuBFgofqhr+YybtPu1/hPb7yUqWG44Jscre62bapF2QHBo87ZQWfR6
+tiks2Dbexz6jzuxcGMKsLt/Ir4DsNn91xMbzGImbro9qE+s6MsoKQptrj6YnQ8t
lT9StglnTbfJ961LzO93P0v0ELn3OQW7taN7FFkzB9WDEniweNZcq64xXpXKgR3F
z01A6JAUqQJeL7phNb1Ckbc/bsF/LE0T7BnsBEXMURE7U1+ruFM6RK+K7trH7ljj
YwjdM2RwZjYeggmbqSgo/mryQnUBVMOhCrjzTkzBJ/6Xz3I5ql4m2BdugoqbfPhT
Hfn7Xn5gILWUkP6J5fPOVGEej28EPt0qKmA/+4zrLDTGmR7s8hKBDNdi7piLSVjW
PJRydKCvOcY=
=CFK/
-----END PGP SIGNATURE-----