-----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: 7.13-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.1.4
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-cracknum-dev (>= 2.3), libghc-cracknum-prof, libghc-generic-deriving-dev, libghc-generic-deriving-prof, libghc-random-dev, libghc-random-prof, libghc-syb-dev, libghc-syb-prof
Build-Depends-Indep: ghc-doc, libghc-quickcheck2-doc, libghc-async-doc, libghc-cracknum-doc, libghc-generic-deriving-doc, libghc-random-doc, libghc-syb-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:
 e31649522ebf2eb07f57a28853b4410725a2ebdd 687006 haskell-sbv_7.13.orig.tar.gz
 52975e97693a2a204a995f923c656e7b610f29cd 2760 haskell-sbv_7.13-1.debian.tar.xz
Checksums-Sha256:
 33bafb18a6d7476aeb3fb215077154cd4ad36fa0359c5b184a9a2ccb3500642e 687006 haskell-sbv_7.13.orig.tar.gz
 0077912f4e06d98a8d80508f617bf95ed7cfbcc209f6c4fe14e77e69e5efab25 2760 haskell-sbv_7.13-1.debian.tar.xz
Files:
 b9a589660e4dc47a7f7664de9084a6d2 687006 haskell-sbv_7.13.orig.tar.gz
 a647176f806684a56674991b497433d1 2760 haskell-sbv_7.13-1.debian.tar.xz

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

iQJFBAEBCgAvFiEEdYHsh0BT5sgHeRubVZIzHhmdOKgFAl09BDwRHGNsaW50QGRl
Ymlhbi5vcmcACgkQVZIzHhmdOKiX5hAAqLUkQtFUW4117M16PgesHf2VHdsM7QtO
pJN0CzQXTR3hZsMX2RtI15MwmBWx5IwGVOpLYC0QuTm5DO77Q0eJl9By2HiahNNm
jn7+JaCJDhiq2q5K7adtWySlSYgKm49WnE8/8XKjqk4a3buNfw/K0Mpa6J7WBL6c
NpBuxpWPKN2HJmJSoF4eZ5bLIIXUWX+tAqylqbsR2+ZpwHa1rAmjg776DcQn+eBK
pb3JXizqtrWfjPN/6mmNdMRaVGl1FBg9vfAeLxLBE2uiXKf0rwjniV1RKQCyStlq
yccw7nemFjd5GoADEZIhyd1OV0Wj1u+lPYQJD3uusgYwocFjHBzdlCEKuzrS+rv7
+pEIy2ZcGJGPBVG/KZZ7Y2+9lXZJRHp8BmmeXYxyHDhaIY4HAYtJTyw7MWJO801A
fgy6/c1v+dJe/E+bMFR+apZ2LZXW8UpffuDJhiSsl0AkaLvxpnRdC5JsQvn5RjRK
ZanOfpo9MctDmn37K3CcXTBFCFDXazHg9xWE7KK9VIKsSek9XiQYVh0v0jg0f0Hp
DCK9wZSkT7CsysqmptKLY2dE+wwC1t8KZ4d83B/z1V1jpZNi0bUq4WyJae9/O69j
0XreUTWLoCYeKQbEKu0zpHv2oGPEcA+CV5ialjk7Sqdl1Rxm37ndzcxhOouOmfAc
0Ly4H+AcJPo=
=WtHp
-----END PGP SIGNATURE-----