-----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-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.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
 622635f3bce040694a4193831071f7f494e66f80 2880 haskell-sbv_10.2-1.debian.tar.xz
Checksums-Sha256:
 7f825c9f128e34085527e68ff08e49e4b73f60b868abf682896d78e7a4cc51e1 1046101 haskell-sbv_10.2.orig.tar.gz
 6130b9b43cbcd3f07025218e39b729fec16ff7f9461e690592cc3d0ea2c42978 2880 haskell-sbv_10.2-1.debian.tar.xz
Files:
 af91600d4d22cfa72aeb2c7e918eaa38 1046101 haskell-sbv_10.2.orig.tar.gz
 d9c45993c4629aebe02726b4b92eef28 2880 haskell-sbv_10.2-1.debian.tar.xz

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

iQJIBAEBCgAyFiEEJ9c8pfW11+AaUTb116hngMxkQDwFAmUf1TQUHGlsaWFzdHNp
QGRlYmlhbi5vcmcACgkQ16hngMxkQDzBrg/6Az3QdFryGL/YF8aUOFe7GSvNR13j
/QZsqEB4g5Iwy1dFS6aWjndFcIz45LX3GpM0Xcliq5TrgKftj/tumYwcNsQI6gnK
qf/g0ZM8N7vWhjGQNbX5726lqLSgPqa3oBksK8MecjMpH/ewES8qpsfWFBPk2dfo
6/FSWw7DCliG+gCnwtM2+SEpsSndOIjfRToouXmYn+22LrZxfSeg7iY40sX9yQmZ
dM1hRvf2fHJX68hG72vQHnPNP/fYmyvf8FFiFXNWK4ni18gi63NDIUwlgi4+GsSs
Wr6Axy3nIBN25ckvs4vw4ROYrz9retR9D0JwM28zIOm9XWBMXSxUKHRcuk1VgbMm
vVJi59EtTz/CsHdAddPVWqrnQVKsMbNbJUZez938PfGnYSMPL7g2d9QY+IkIWKrc
nWhHjrQ21qz8wxtgI6vERs+kuirLIxipj6mcHNEJlFbZTmTHMlr1bbDrNJPd/BLv
RDcZHg8prg9zK4DMF3U4hCaZFaUghsyUsV3VTmZdcELNxPLPJI+dzG1DN/L9a8Ed
2UvE+u/zp621JdM0NrwHUFZ2JdtdhyOXxCw7wGLgFPFlK0Yy8xCe6UZXCdCH+/uG
DqTudYFFfzQpQZYkcHsf2Idy4jrbbmkoH3ZfqMmmUuj89lN4q1vI1tynsfoNt44c
zGTwUaaS1kxcPq4=
=TGtJ
-----END PGP SIGNATURE-----