-----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: 8.17-1
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Uploaders:  Clint Adams <clint@debian.org>,
Homepage: http://leventerkok.github.io/sbv/
Standards-Version: 4.6.1
Vcs-Browser: https://salsa.debian.org/haskell-team/DHG_packages/tree/master/p/haskell-sbv
Vcs-Git: https://salsa.debian.org/haskell-team/DHG_packages.git [p/haskell-sbv]
Build-Depends: cdbs, debhelper (>= 10), ghc (>= 8.4.3), ghc-prof, haskell-devscripts (>= 0.13), libghc-quickcheck2-dev, libghc-quickcheck2-prof, libghc-async-dev, libghc-async-prof, libghc-libbf-dev, libghc-libbf-prof, libghc-random-dev, libghc-random-prof, libghc-syb-dev, libghc-syb-prof, libghc-uniplate-dev, libghc-uniplate-prof
Build-Depends-Indep: ghc-doc, libghc-quickcheck2-doc, libghc-async-doc, libghc-libbf-doc, libghc-random-doc, libghc-syb-doc, libghc-uniplate-doc
Package-List:
 libghc-sbv-dev deb haskell optional arch=any
 libghc-sbv-doc deb doc optional arch=all
 libghc-sbv-prof deb haskell optional arch=any
Checksums-Sha1:
 82a482b9831717c1969ec1437ebd0554f0bf9fff 951419 haskell-sbv_8.17.orig.tar.gz
 c644b79342681a6e945f1d291e420baee8c50d8f 2840 haskell-sbv_8.17-1.debian.tar.xz
Checksums-Sha256:
 0d76ef666eff03a30c6d110ecb6871f4c40a04f2e681bdd8c0ef46999be72d51 951419 haskell-sbv_8.17.orig.tar.gz
 2e23a5b55e848bd53f5f0e9258aaaa5e18c51bf5b5f73fd3b6ff6b39b3d5e792 2840 haskell-sbv_8.17-1.debian.tar.xz
Files:
 2962180b71684d55e3f02e478a069ed7 951419 haskell-sbv_8.17.orig.tar.gz
 ed4673b0bcf6e1fae636f92321edfbdf 2840 haskell-sbv_8.17-1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----

iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmLkFrwPHHN3dEB0ZWNo
aWUubmV0AAoJEFPVvGS1I3iiXcoP/jQomgjLokfsTGRtr7fHUk/6SrJzcl9cjiGT
Ef6l1NzEoT1GWlf42FgIy5d+h2Z2sfdLLSz6rovC+D/h2uvtgctqYzALgIzGBG+c
d/coRqRQLLutkO6Sff3aCsphjQtu7SZU2Sr0K6zEsf+5kxj3BGZRd8y2ewYXtvud
FUUfyG7Bijqp4msfYvFWd8o89pMpsXusAF0gFdTyJEGF98TFlpTaM0557NUPfsRE
G5d/lU1lM+eQDPG9Ak10ZZJ67hWJnknSb3pWi4louK+DA0Oy/CbdtvHRFbOVhOoo
QHArV/J6wnBmlGxOrMqyH9/WwqHdlvKsRMQeAYG94wRjTc7BTinEIC5WKQQ6UW0n
oyW/1WMT+hAcc3Lyn1bfmuzN1TmKkICGxHIhYtsgz6EwXegRzvxQHJC6noxnn0PL
o5iX+KiLWAFemTgYkpTnsQjOfli3oYc9alNadIq0slDYfBcHV3tC/nVQF6H0xUyk
NwQpoA/U/8NUOeyKo0sMzZJniToo/5HbkuwN8Fh87MZP5Jx7RUcSvcKCXK65eFtW
sPpjFKtwKnxdJyCpPunw1IMsZoYgAm4b9HsddSd4e+EwooIiwNw/HlrKyFdrjKVL
oGUOoQmd7IkW6mF4RE3c5wJQjXxVHF2QjDrWa4DpDiEFDBizWPAUr/Oeovq5fJ7D
eU7kE0IA
=0LRa
-----END PGP SIGNATURE-----