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

Format: 3.0 (quilt)
Source: haskell-smtlib
Binary: libghc-smtlib-dev, libghc-smtlib-prof, libghc-smtlib-doc
Architecture: any all
Version: 1.0.8-1
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/
Vcs-Git: https://anonscm.debian.org/cgit/pkg-haskell/DHG_packages.git
Build-Depends: debhelper (>= 9), haskell-devscripts (>= 0.10), cdbs, ghc, ghc-prof
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:
 75a90a06f3bab95bf06e55f4c2d5de49cbbdcfd2 2108 haskell-smtlib_1.0.8-1.debian.tar.xz
 6aef4446de73784f8993f47057ba0f3020acedd9 9533 haskell-smtlib_1.0.8.orig.tar.gz
Checksums-Sha256:
 de2c6e36f86614418eb47d4d18b8279cb6721e71b0ff1e01e04d0d08bd02515a 2108 haskell-smtlib_1.0.8-1.debian.tar.xz
 37016f9322742c88c89d692e62d01c419b03242bbc6d84da4dab772408ad21a9 9533 haskell-smtlib_1.0.8.orig.tar.gz
Files:
 88fdbdc0318d720e0962bcfd07b190ce 2108 haskell-smtlib_1.0.8-1.debian.tar.xz
 20365ad9ea1ac0e9d0502c84602d09d1 9533 haskell-smtlib_1.0.8.orig.tar.gz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAEBCAAGBQJXTwLfAAoJED2QirPw+/Uf608P/Aj/o9HqpDxHeGiU6r4dhfXS
x4izSH1OF1NT19MSTKmMmq2PTu4RRKqm/AV/c3wkUJXEfwmgvd9w+0MJCbWn6qc6
22u7upAqC/vjus8BLwN/4xFhd/Kfr3oU8JpL/9gSPOUO/7/ATLGpz6a7Hr2cZF9o
SRtlEUwKiMJAtUuIejFGeKNwYguWiQSlegk1pdYTnUX9FCTuzPkF+goVADRmAUq7
ddhNm83xlsu02ZRuRKCJD9Sq38Z/HOS5JBbv/52Jvad3GhCkXLrvXFTUIR+dCoRN
h+Kq43DpDdqzdkkOKSYmDQWao8Niv4F+a4OTw2O9ajSbwuC0/nfAjrsakiy33RZw
FSymxjYzOG4+8Fs6wl2DY0C0gahEJQsGBESC4O5j5E9RXidraH4Nm1BSSOuQ/Qv2
2yEHjYbYwRqVFZkuPmzyDyQQIasc5CcYFgzoKJK21TDDm2xEwpCrIFmKtycfiuEe
Q5i7fV2AEdi8CYuUV2YcqfagK2wrdr9xImjctPdCetByzO5JMbEX4h8fpl8jpxtB
ulTglGinfVZObb0HoV6oL3Z+B493RLPtu4nrq3d295YGoJz2OjHVVpm3+XKfovV3
YQ2vvFEWfTV89PRWgZKzwDxOJ9PA0PvBCUa3W8+hJU/fGIviwcydoB2rl1BH5TYc
+89B1l4asY90tDTMrTJG
=+nHL
-----END PGP SIGNATURE-----