-----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: 7.5-1build4
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
Build-Depends: cdbs, debhelper (>= 9), ghc (>= 8), ghc-prof, haskell-devscripts (>= 0.13), libghc-quickcheck2-dev, libghc-quickcheck2-prof, libghc-async-dev, libghc-async-prof, libghc-cracknum-dev, libghc-cracknum-prof, libghc-data-binary-ieee754-dev, libghc-data-binary-ieee754-prof, libghc-generic-deriving-dev, libghc-generic-deriving-prof, libghc-mtl-dev, libghc-mtl-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-data-binary-ieee754-doc, libghc-generic-deriving-doc, libghc-mtl-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:
 7a05d8db26d14cb472ed49c5c7b225e870a86c92 612121 haskell-sbv_7.5.orig.tar.gz
 ce2cf8e4c61b4e0943edfe15d0b577e15d07eb60 2744 haskell-sbv_7.5-1build4.debian.tar.xz
Checksums-Sha256:
 3312a65c3bffef57d9ab3903f7e78f09c81f549e3f890936298d62f0f1caadb0 612121 haskell-sbv_7.5.orig.tar.gz
 e979e453f3f76f6a88ab5597cd37c2656d8804987c818e3075cab1ce7f603421 2744 haskell-sbv_7.5-1build4.debian.tar.xz
Files:
 55b5a258173aa08326ac8276fc07eaf3 612121 haskell-sbv_7.5.orig.tar.gz
 b3e769453f95c63cbfc664f2338bf66e 2744 haskell-sbv_7.5-1build4.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAltWrxoACgkQ808JdE6f
Xdk5wA//U9Kgm0aFKjvgQl+3RQ+qMU0DwG4Y1eAyU7lZ5twnxEud1heq1VcFfR0q
rCOBkpnrprOPzHZrg5meKlxBU2Pwuj7IlBD9WZrCHadDVYQU3i0BflMpUzqOCN+L
ASUNEYi5E/N5jmoW25QlBbMpl/Cqq7fCg5QhF2FCwPlg0y0z9bZUwtO9SIkS04it
H8FeGGCYtat8D12EU+MGNVwpBVvuq+a+o8bGsH4HBvS62Ni+/BtP9GiGsF2Y3WuV
zSx3WzeqCGpqPxUhjT9QUNIuzRVgU84pGhtgSznP4BbLJcEM/TfUGlD9HXKl5ea3
QwlMYKlHae8ZrWYkM3hpCdYKIC+shffdhY7Y6ZNy4YjIK0q9AJVT55gQfbu+VPvq
BhdMKCuHopXEuQYilTpmpm4R8RL9Z8x6LmXrTEArfX458veHYN1sjV/07IxrC0O2
jVGtu4JEmJjZJ4H461kGhYq5/xwI9wRiRCT7id395myG7yMyURBfdV+dZ8AmiKmx
8cW3cUitGI5JeOdpSHhBF6mycg9SrpxR+lHJdnQiz/VXtsfRtiFezmAIfuWz8cuD
xwXepUUU6+XBtxjN3q0KoXepT1CMy6QMrHKlW5dP4jDbZaCh0idn8vkhtj+6pt96
9bmj8xzERewAYxrKvhgqYUbTCdsU3rh7lEP5NKlG8CFXWJFVoSI=
=6Lcf
-----END PGP SIGNATURE-----