-----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-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.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:
 e63781c253c1779fd65e7307a5a1abbbc3eb3c46 526326 haskell-sbv_5.11.orig.tar.gz
 06ec1ec38f783f3340f7e8c31bee6a5ecbd87b73 2440 haskell-sbv_5.11-1build1.debian.tar.xz
Checksums-Sha256:
 9ede93f41cdbdfb73638f25eec9c201190d049163ad503202ebefa2d18cfc90d 526326 haskell-sbv_5.11.orig.tar.gz
 6e9ebdb35c7c876962761f21897474e50e8b4aef2dd4fae7d0d51d204ebce08d 2440 haskell-sbv_5.11-1build1.debian.tar.xz
Files:
 6df289c02d9d9f28f99bb89fbe4aa17a 526326 haskell-sbv_5.11.orig.tar.gz
 df27b0578e9d0d4e8740e5d2e5a02972 2440 haskell-sbv_5.11-1build1.debian.tar.xz

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

iQIVAwUBV3LR0jk1h9l9hlALAQghARAAoBxw7VAn6WqpZpZpqdbIkUSjJT014ci0
utHtlz4qLTnF8c/Qthsc2JLcO3haTYFWS4zff5V5henoWsE3nQDEIwr/+448kNfi
jP06xAP7a0qjSRI5kmLl41//EE6O/QeMtC2FItfnLZbzUpc8iMKbTNlkDv2m1b5D
6iKhZuvj0bi1BmsNGnsC77Gou8pxM3oKcRzKcN5R4ymWM4EZ7JRBW6kEQqMzzbGV
7E8f43cYBGEWK/7/5i/jRCPAv+4tSLxsIxG19C2Tr1sCMYKS0Lj7wz2HTtPw+jWi
bT9lhnIdAXHLQ51F8Mnlr0h273+rWfZQ5R0eVNxNkSQLrBf4DFxCUvYJ9hEMBO8E
lytvsRm1geOkZPK8vGbCMJpkp9ZL5/5zgZ/NbkzNh4sBVv41ygvqOaI3tHwkJ13v
IflvlczvHfBCEEEJb7rG6pxNlFaFowgBJr7hlSUoKbPSmR+eGMrc0KuHdwBJEJhJ
C8YXJXM005hIhGqFofK2I4rlla8cwYdJ4RXNVEOy2VSkja8d1Un19fyAzJaAr+s1
HvD/bmaYMcvQxEZtDkEz85rtD+EgkGJC4uPoP3P9FNJbYCEkGCqNeoiD1nMSp71q
L1AA3rEy3hurXn4qLcauuXsMPloZynQhnSr61gVsLGkEgYc+7KgmksLvx5DHGTfU
72WgogL/RwM=
=Uteo
-----END PGP SIGNATURE-----