-----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: 10.2-2
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.7.0
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 (>= 9.4), 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:
 6876745e050818d94f823af70e97633fa79bf923 1046101 haskell-sbv_10.2.orig.tar.gz
 6c48581a376a40daf784aa8b2c4a26b76c21be5b 2912 haskell-sbv_10.2-2.debian.tar.xz
Checksums-Sha256:
 7f825c9f128e34085527e68ff08e49e4b73f60b868abf682896d78e7a4cc51e1 1046101 haskell-sbv_10.2.orig.tar.gz
 49d8e94022846d59e025627551ce66aed9bdbbd8104f59929b51cbb9a54dd893 2912 haskell-sbv_10.2-2.debian.tar.xz
Files:
 af91600d4d22cfa72aeb2c7e918eaa38 1046101 haskell-sbv_10.2.orig.tar.gz
 4931223ecd192f40276a586c42aa1e80 2912 haskell-sbv_10.2-2.debian.tar.xz

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

iQJIBAEBCgAyFiEEJ9c8pfW11+AaUTb116hngMxkQDwFAmcBi0gUHGlsaWFzdHNp
QGRlYmlhbi5vcmcACgkQ16hngMxkQDwW+BAAgQQ+q9j0xYUp0bmepKdpx5y9I3Eo
DoqayI1Z4fYQQ5d2HqEF+KEWw1arik8yHlFpR7FZrosFYyNGGEQUNaiRY7HX5L+d
AxOUWbLpu7TqMiL+XJVsF2CbvUiTExfrzSvZdoSd6dj2wLaHdRkdZB08FmFPyicZ
0EGbYELSzQo8Q6cdFmSEy6ftqC9crjl/9x3g3K9iBix2tK5XsvZsmpQUNN4RN5pf
PFC110fV5OpAg74+725ws8RjcGI71glVzRVxN3qJTGdB5EK+7TRKQq3xnWt6UaL8
WemHSPYyalxynP/TdVAYSgBGe8NNowrUnS17fmAIZWaivATmWhuIKfSkU+BbIkNj
WL77iGdmVFuQtiEmVss7lH3IPQxE4cfarjiRPSa/v+VaUdUuWZ3Uqd72lAlq/qB7
k+yvobwQTCzkanoIkS2wn4IE85loAmnK2bGR8qc9RodJS9YAkiIzpiNj9AlbxfTA
vhsSfJ85aWib0dzwlUl4tzNSKARinNaneMTAEYJfODbWjUYNWatsyphItXegRTjH
beYe8aYyp+N5GI9Pss3BTUuoR9hBhhF0VG4g41SRsC5AfIbO3czYQG7sky6G4Mfe
xV9vg9Irji1sCZE0kZK/NCJwGfx3PXuolK+9Kb7PnuvYyJmBbN7l+t5vS12RryTv
w6GwYf3zejaK/+M=
=Ez3o
-----END PGP SIGNATURE-----