-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: haskell-sbv
Binary: libghc-sbv-dev, libghc-sbv-prof, libghc-sbv-doc
Architecture: any all
Version: 10.2-1build1
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.2
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
 b0519a6ae1f3ce273b606de29de7534e5ac408d0 2944 haskell-sbv_10.2-1build1.debian.tar.xz
Checksums-Sha256:
 7f825c9f128e34085527e68ff08e49e4b73f60b868abf682896d78e7a4cc51e1 1046101 haskell-sbv_10.2.orig.tar.gz
 ec466d8e1dafe05846cfbfafc448adaed54681e8a0aeb0d0b25e318f0a26fcc5 2944 haskell-sbv_10.2-1build1.debian.tar.xz
Files:
 af91600d4d22cfa72aeb2c7e918eaa38 1046101 haskell-sbv_10.2.orig.tar.gz
 280032a903f2cb0f3349d23bad603e38 2944 haskell-sbv_10.2-1build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmZEhrwACgkQ808JdE6f
XdlwqBAAwlVjdeSkrPVaOQL98noEqDvfz7KlzgQq3FnuiUiATVC7FETbOVJVDTVo
Vd4dUiSTW+nD4H34mPINSa3M1qNOhoq8KyktfaLK9r0XZCBtMXdjI7RlYiVJn3ev
K8Hxj9HJ6cfPhjAu1u2n/nYPS3PJV61dHF4G5PUQUykqtNOxwN05wlP+GbfA2ZWW
VKjsRuLU3zV8wzh12BEmTv60RQt8wKjycUB0ZaNq2On0P8Zre79/dePmijb73KpB
bdIE37Ww7phHW+OYCQvjIpPKGn4yC9+GwDLPkrWUuJG1MpW9QIs2brcON0owGXp2
uHO0kS7jw3Kg1zp+fwpCPJiJIjFCe7FLskvwnzMV5uB8p+BlgLyLFnELlyXzwH56
kAWDCY3k4E0Yz14Q1Z3/6N6fp3bA6pbG5t+WVGPgomckiYjqPISuYSo68jInce1k
6mcRfXj2dvTcN+QbYrKK75uVminVmPlWqupb97zPbbvfMchSNCvjIKp9Cq3p381J
+BWRtaQPZN0GEg0WUJTclc/GO0giFQGsTV/C3ygqs0gphgjnvfQplKrkAOJVYBlR
LMhPXoOQwttfL6AfsqniRYgcdM4s2yjNQm20YFm7LZeLAGR4BHcrKWRU5hjdNzcv
zUgbeqg+77x+HlhOX/aETCDwOI65zhNLDOd1EVim76dRVBZWK4A=
=PvXE
-----END PGP SIGNATURE-----