-----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.7-3
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Uploaders: Kristoffer H Rose <krisrose@debian.org>
Standards-Version: 3.9.6
Vcs-Browser: https://anonscm.debian.org/cgit/pkg-haskell/DHG_packages.git/
Vcs-Git: git://git.debian.org/git/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:
 239464bea64d3e6300158ae6e5695a207a26cae8 2032 haskell-smtlib_1.0.7-3.debian.tar.xz
 7d3ad5f1bba87b73e244529efa1ea6af1928679e 9484 haskell-smtlib_1.0.7.orig.tar.gz
Checksums-Sha256:
 870d4bbdd86a9d19144791d54ceaed776f1734219aaa5b1e125d6d958b5a110e 2032 haskell-smtlib_1.0.7-3.debian.tar.xz
 6e660125d16c7ad42120df7fb0bd53d1d0614532ed3956aa34f6bcd3413ac2ca 9484 haskell-smtlib_1.0.7.orig.tar.gz
Files:
 6994534cf71e964d37b84d4ab6ac52da 2032 haskell-smtlib_1.0.7-3.debian.tar.xz
 8800f1030e69a019ae47f4bed050a15f 9484 haskell-smtlib_1.0.7.orig.tar.gz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2
Comment: Debian!

iQJ8BAEBCgBmBQJWYN4uXxSAAAAAAC4AKGlzc3Vlci1mcHJAbm90YXRpb25zLm9w
ZW5wZ3AuZmlmdGhob3JzZW1hbi5uZXQ3NTgxRUM4NzQwNTNFNkM4MDc3OTFCOUI1
NTkyMzMxRTE5OUQzOEE4AAoJEFWSMx4ZnTiorTEP/Ra7ShetAA38B1WjXIqXXOWg
gzEUqHO1Q5SnDCSwH93Rg0V1aBDzFIE4hIWj9xw3JaVAUpcW0sndwyRgO+PeTRYu
g18aIJCY9w5ZLnJtQF3BJho+my1mjaHsSGInlm+vWT1ht9x39ecaO/b5XJvFP3hp
0FhD2/grHG65U6ZtzrHrTkNuoujim9c5layXSX7pbKx+ARJJbr8QMcEH4ZEtEppT
kUHjLvHZtoU+ADcERcdZPp0npbl3uK4aNY27TZm01u4+FwbwsABoTz5uHhFJxEZ4
9oZ9rvqgfC7Dg/q8YjdnRvjQZ9gD1velv4SoPxxFf3Ku9OLtpOMhlLw4dsmNRzmv
KQ/utJPpv0mniXA2PG0bVmZVqcnKM/2UPK3AuJJlotac7gWp+gIOf6OYSfa0LX7E
XwMiltAjXCrU8qYffunRHf236j2KBkMJCx0di+IqmR2N88zIsVckUmiQk+zVQcIr
mFnMoYW+JCUhutIL6uyrZIkdhckg5H8Ca0oY6VuYrC07RBw51uJjdNxQs91hJDKs
HowcL1WPyGCj8OoPdnirvj8GrZ8gLsGqW6bjJNPN2o8xvH2MHIYjHjrWLiQIzEOd
i7eCk4BudRlcN9DH6tian/T4nGUyXBLxgIqvqwJWxdi5oSVdQQw73Hyq9PDFY4we
zrMKPNnkxD5sZgZmC4Ci
=CgSP
-----END PGP SIGNATURE-----