-----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.11-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.8
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:
 1155bd6f22f3dbeee028f2b2ecc4038f18165e23 2344 haskell-sbv_5.11-1.debian.tar.xz
 e63781c253c1779fd65e7307a5a1abbbc3eb3c46 526326 haskell-sbv_5.11.orig.tar.gz
Checksums-Sha256:
 85c5b660cfc18ba9a3481a4a5b73fa9e31fab6f49215504734be6d07285abb95 2344 haskell-sbv_5.11-1.debian.tar.xz
 9ede93f41cdbdfb73638f25eec9c201190d049163ad503202ebefa2d18cfc90d 526326 haskell-sbv_5.11.orig.tar.gz
Files:
 4272029a45b83e8352bdc845225ffd0d 2344 haskell-sbv_5.11-1.debian.tar.xz
 6df289c02d9d9f28f99bb89fbe4aa17a 526326 haskell-sbv_5.11.orig.tar.gz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAEBCAAGBQJXTwKsAAoJED2QirPw+/Uf4TsP/jHE1TQbaThcoLhN+5KCw30a
7D2s9FEIgPTGhWha1e16rz4QrmQtE54IbVuGXl5UMxhGnWhpXiG4szL7y2vv1E3M
Kl9BXrHIYJu5na3WK3TYoST16oNj4qacDvGBecFbRZHuLPU1HLrdaI00nJbd0JRg
9eeyi+iC8czuz5TnUvazimzMPdcJL6AnKpwiLkLBoSvNMFfcwml3HLt6Ii6JMSxY
5QxoemPm6u1I/wdPzjUYOD0XrakOr+b5fIGAZFVxy8OLaj1TQbCZX5IdSosCGbN8
HGFoQZiJQeLmzUgi5SLm+I7TsSEcGZrpd51/j6Uvbt9Cdrk0ToC+rBYmk/RQWmqr
jcJJdC+IA49oTAFn+v7gmsLvU8Bvc8qlD3feiSxS583Vy7Z6+5p+b+DQpExxbyxs
iByYeU+KbZfxCc37J4hA7BwI2lxd4DkF2g6RE+HrvW2dcLlT2fuJhdHEb1Di9HHP
Uov4vfvlREeF0yZYppsyY6oooCcAKkL+kedPI6seynv+vd+/FH4rZRC+tnDmhhhf
8H7UHSKL8s56puGyVXdA6ag79WQNEQuMhWPBZEzMt1JjXn60MjqKhOBHH1nMIGKM
SkHIrGvmy3fGAx0CDDc6aJjVG4+a5OpaIw7poBNX1MQt5KMzI28bfCzKt4seSrg9
sW3/ISYUz7Dv/PWk/raG
=TaNq
-----END PGP SIGNATURE-----