-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: haskell-smtlib
Binary: libghc-smtlib-dev, libghc-smtlib-prof, libghc-smtlib-doc
Architecture: any all
Version: 1.0.8-3
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Uploaders: Kristoffer H Rose <krisrose@debian.org>
Standards-Version: 3.9.8
Vcs-Browser: https://anonscm.debian.org/cgit/pkg-haskell/DHG_packages.git/tree/p/haskell-smtlib
Vcs-Git: https://anonscm.debian.org/git/pkg-haskell/DHG_packages.git
Build-Depends: cdbs, debhelper (>= 9), ghc (>= 8), ghc-prof, haskell-devscripts (>= 0.13)
Build-Depends-Indep: ghc-doc
Package-List:
 libghc-smtlib-dev deb haskell extra arch=any
 libghc-smtlib-doc deb doc extra arch=all
 libghc-smtlib-prof deb haskell extra arch=any
Checksums-Sha1:
 6aef4446de73784f8993f47057ba0f3020acedd9 9533 haskell-smtlib_1.0.8.orig.tar.gz
 7e3ed64a2a11f5ec57c0c07ea653577dc4eb71b1 2212 haskell-smtlib_1.0.8-3.debian.tar.xz
Checksums-Sha256:
 37016f9322742c88c89d692e62d01c419b03242bbc6d84da4dab772408ad21a9 9533 haskell-smtlib_1.0.8.orig.tar.gz
 73fe47cd19db7a1806544eebd2890d99341570fe880bdb69f1a8fa965e334444 2212 haskell-smtlib_1.0.8-3.debian.tar.xz
Files:
 20365ad9ea1ac0e9d0502c84602d09d1 9533 haskell-smtlib_1.0.8.orig.tar.gz
 51738fa0557e4c01d3850f453076d362 2212 haskell-smtlib_1.0.8-3.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Comment: Debian!

iQKOBAEBCgB4BQJYEpOYXxSAAAAAAC4AKGlzc3Vlci1mcHJAbm90YXRpb25zLm9w
ZW5wZ3AuZmlmdGhob3JzZW1hbi5uZXQ3NTgxRUM4NzQwNTNFNkM4MDc3OTFCOUI1
NTkyMzMxRTE5OUQzOEE4ERxjbGludEBkZWJpYW4ub3JnAAoJEFWSMx4ZnTioNlsP
/00S6yn6eURBgaz6y//fykswIi0qVWDyy647ZfbHEyQ6ciqy5WGlP8s52gLBZFUo
wAiOG05UTdNFyORJoJX/zsTWb6y9K1PsPVEoit1ecCggn0giEZqERAT/jOMgLUfF
IKm6+uxJfJriIYDM8ynqprGygRJ2FrK4FKDR+zmHzvrE0U4AfBjnc86dkvR5lUfJ
a7ASQJJwkn9X7huNBkpx2GPKBwqdcyl7dbsvQj34/JnvefAfR7nseb24oRrjv/rV
YubkCfur+a4XioDt+ax/LRDKWLEMxMEQZ3AcbPV2pH9Itv56r3KmyBMv6ZjbqRLt
CLxlPaot4rWFbAHOIvwFnx7uu5P2bW9lgnClgD1h/nEzMw1Wlpk1pOQi6zB6P2q7
D5kyT29gE/HmOpMJxbjbxP9IScqckDEDew+8gQ2ldnnouSHihwy5TKcE3v9vYhGg
E8LjMtiE+TnCKjIapoaEb5K4oLzu/99MEk3bQu7xzAjvqQuHBEF3KQUtLrD9shz5
w6eP1+3ljbTVFTN3u5yTzVdK4Jnt4+fBEAe/wxOreT/cyrizzqby3qhzvVzIugKF
9W5M3pRFdpNcKX3v+kFBkuDWxlGUmFl3e/1VOrUdKwX7o/7VvMLhxkRx7yqL5XST
5X3CP2+FE7z1DvVqCYcZu5ZEdHkQg2BZ2dN4mTVKdrIx
=MbUF
-----END PGP SIGNATURE-----