-----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.12-2
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: https://anonscm.debian.org/cgit/pkg-haskell/DHG_packages.git/tree/p/haskell-sbv
Vcs-Git: https://anonscm.debian.org/git/pkg-haskell/DHG_packages.git
Build-Depends: cdbs, debhelper (>= 9), ghc (>= 8), ghc-prof, haskell-devscripts (>= 0.13), 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-hunit-dev, libghc-mtl-dev, libghc-mtl-prof, libghc-old-time-dev, libghc-old-time-prof, libghc-quickcheck2-dev, libghc-quickcheck2-prof, libghc-random-dev, libghc-random-prof, libghc-syb-dev, libghc-syb-prof
Build-Depends-Indep: ghc-doc, libghc-async-doc, libghc-base-compat-doc, libghc-cracknum-doc, libghc-data-binary-ieee754-doc, libghc-mtl-doc, libghc-old-time-doc, libghc-quickcheck2-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:
 884952f23d3cc85b938413c18a08d2315b443863 526586 haskell-sbv_5.12.orig.tar.gz
 546b23b6c0315e7bc340913e233dac12335537d7 2452 haskell-sbv_5.12-2.debian.tar.xz
Checksums-Sha256:
 0c43caeb77fd6a3d6d4e8e71835da0ca5e207dcc2b0bf6ef07abb7dd5c3bd55f 526586 haskell-sbv_5.12.orig.tar.gz
 7b6ac19bbefc4be7fe88c517641f76e60036e3ba424263020b94259edb3d7747 2452 haskell-sbv_5.12-2.debian.tar.xz
Files:
 0d953d138e252d39640fc7b334ac6aca 526586 haskell-sbv_5.12.orig.tar.gz
 541e24eca802e898f178e3d8ba4b6e3d 2452 haskell-sbv_5.12-2.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Comment: Debian!

iQKOBAEBCgB4BQJYEpL6XxSAAAAAAC4AKGlzc3Vlci1mcHJAbm90YXRpb25zLm9w
ZW5wZ3AuZmlmdGhob3JzZW1hbi5uZXQ3NTgxRUM4NzQwNTNFNkM4MDc3OTFCOUI1
NTkyMzMxRTE5OUQzOEE4ERxjbGludEBkZWJpYW4ub3JnAAoJEFWSMx4ZnTio/lYP
/0iojZ23jzE4/zNJIUsjzVAY0UTV5yuFf/2H/qE5f45BehztCBHuRjyr2y5N1tKV
9xg+pFkmEsz3jxX43HKscgbsntB1D+wfIpbMN5DXISkZqQOLhVgnvvvw6zvaD5tN
jHqZf3p1z6HW7laBHEtk96P/Xd1el4wP5oahlBUGM7YtuwODXDr7jhDeozp0t/UG
Qimk4rYgKAD5j+ItXYP4uuV2rmL/0AF2DdID2I3CQyMxzA5zFDzmK3/LtSKvRgKj
pBxFkH6MHjm/ZJcSd3i1NU4C2Dv/H83pZc2L2MylkEPN7s4+W7PtBcklkrNmBMBc
vj+7YjcsCNcEN46PObInJIMgLV3kaeQG71BwtM0xV+GVJyfxvPBbhv0Z5WY/trzh
TqPSnWirolmpQ9m4urPHB9gveqxW4PjHG/FzfqtbMrrY01jbUn9zHRxmDh8AUkMj
fL4S4IjsVXDsR2Ioo6nfGypbNZlj0t5BRjxQFhx6ojgmkVLu0q87EPUYtuWRDMhn
I072LwgU8OTRid1ayXtij8HLD3wuGQyPUOpqXduj2qZGbgG1dZwMa2YP/zyzwBGz
eoLtefzthNQhDYkbzvyzf0JwG/1CO9505VvRR2zmzg5b4OgmbnH0IwI9TL6bn9mK
R96oK+xr1m2WDgbzajPg5icPJbuH0IYz/9/AD2LM5c3a
=hBxz
-----END PGP SIGNATURE-----