-----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.14-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: 4.0.0
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-quickcheck2-dev (>= 2.9.2), 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-hunit-dev, 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
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:
 c1fa518891e3096d210dc004784561f874485cce 527280 haskell-sbv_5.14.orig.tar.gz
 1b47986ffc851e6a8c8e923345bbe217da0af20e 2460 haskell-sbv_5.14-1.debian.tar.xz
Checksums-Sha256:
 92dc71b96071162a47383c5f4833e8b78c2874009e671e2a6bc8de9707328e7e 527280 haskell-sbv_5.14.orig.tar.gz
 c861839e635a29866e67e2cd14d996359db4934a9e87d47d8970d52a7b22e6a1 2460 haskell-sbv_5.14-1.debian.tar.xz
Files:
 759378d1bf13651d1ee9ebe9f50ce974 527280 haskell-sbv_5.14.orig.tar.gz
 b939024190bbe5eee83ff17396068b4e 2460 haskell-sbv_5.14-1.debian.tar.xz

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

iQKlBAEBCgCPFiEEdYHsh0BT5sgHeRubVZIzHhmdOKgFAllereJfFIAAAAAALgAo
aXNzdWVyLWZwckBub3RhdGlvbnMub3BlbnBncC5maWZ0aGhvcnNlbWFuLm5ldDc1
ODFFQzg3NDA1M0U2QzgwNzc5MUI5QjU1OTIzMzFFMTk5RDM4QTgRHGNsaW50QGRl
Ymlhbi5vcmcACgkQVZIzHhmdOKibpw//TmOndDHmzyeg3KLDr/dBTTtsAtEvt6Mu
WoF+WgUleRyptmtF25xPocFZd81ujsDFNe8XJ6Nsjf8k9luFCDQLInNZtud72vhs
ZohT/NESyqn96RsJk/qf/T+UsEFolMtReET7iXvY1Oxdo7XECcahp7Idsz1mXbfR
F73kBy0FxrcwcVT34HnfWWSJwgOCbNtp6mcetFaSfnrtkgXJw6WFPx0bbvpXXiU2
Hn0LmNOlgSrkyQaUpV/VvMn2nS/vf7qkAG5X4gKpLNa8AuZyA99S+aLBDZm54rzF
BEuxoxsto/ViaIi5hjB/3brXYuINv+701TqRNpsucFmYGlIKLqGcDuQ2mQD0eF0S
pvOKXp7XUVzzRaEBI19nNmUZ11EjrYMae+BnlQg0q+VArV9ukxNcNKXT3S9/7VIA
azlbczO6YsV64i8WnWO6q4SFama1Q3FfEd0wTIa2q5BOWthVg5NafHOa6dFDJoa/
1HGYGLWb4/hEz2V+kMfnZXw280OnMa6bcWowghFm+I2wMX6y2FZsqsDkV3p/5PSL
Mk0hPfp6YfmY6Y39ySfYIP2FNrMNgcobH15PaGnq7ll6cU8D3zZ4tz/U/coiNhXg
vWQSuDTRUQF70zsvkiLy5NIrTeYlhgq3ghTkSgm7u7atwolTXjKt2iY5RfE7eZeH
xT5JilKTvRU=
=z1LA
-----END PGP SIGNATURE-----