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

Format: 3.0 (quilt)
Source: haskell-simple-smt
Binary: libghc-simple-smt-dev, libghc-simple-smt-prof, libghc-simple-smt-doc
Architecture: any all
Version: 0.6.0-3build1
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Uploaders: Joachim Breitner <nomeata@debian.org>
Homepage: http://hackage.haskell.org/package/simple-smt
Standards-Version: 3.9.8
Vcs-Browser: https://anonscm.debian.org/cgit/pkg-haskell/DHG_packages.git/tree/p/haskell-simple-smt
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-simple-smt-dev deb haskell extra arch=any
 libghc-simple-smt-doc deb doc extra arch=all
 libghc-simple-smt-prof deb haskell extra arch=any
Checksums-Sha1:
 3e649904d1973a09440ae309af4339f2e1047bc4 7870 haskell-simple-smt_0.6.0.orig.tar.gz
 c42fe311e6b6f7c7ecb6795f106b841aeacde57c 2268 haskell-simple-smt_0.6.0-3build1.debian.tar.xz
Checksums-Sha256:
 0cb4d409cb0cf99a9f26c405dc7626c1206d5bffec925ce202f42327b769b695 7870 haskell-simple-smt_0.6.0.orig.tar.gz
 fa616b21397af7b1a815c132c5ccb5e8038cf2a59719392c282f9c2127e2277c 2268 haskell-simple-smt_0.6.0-3build1.debian.tar.xz
Files:
 65f247eac3b63c23fa39dfa639aab418 7870 haskell-simple-smt_0.6.0.orig.tar.gz
 d5e09a257acfca0b2c65aa39ace815fa 2268 haskell-simple-smt_0.6.0-3build1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2

iQIcBAEBCAAGBQJYhzC1AAoJEPNPCXROn13Zqj8P/jlgyKnbzlQnDDlpqWAcf+qs
mHF8oNjlWhfon16XBsM4CkFYhntslH9XPQIkzErLJdTBijwVWXVyto30SUhI8WPL
KzgjzIJ/t22d9j4YFAEQGtFQlFRlrJWJMnt/7cHXeZP6kSh24aVArcN/wCxxVmkt
thiJn7pU1iqowI58Us2vscMwT+9fFjSY1b0VJgYBLVAkzvmJjJp4AdadZYDlhfr8
RbNtUrjoA3xVFA0veKHKzzDsvYVyQ+QvgXbf3A8XdvFzU8Pii/An+dMgB3IzuUT1
eyEqVg0cV00ltb/8bJOlO2GsI8FF1ZAebP7PAKC75ivdMNwU0mziID7kn/GIWxd5
Snv0x7V3NrKEkI626kTo9fFTGtrRVKmigzLKwoE3O43GUuD1dWpQ6vqLDHSUuPRx
m4rUVT53IiqgJowHysigiO5NoMmjs/hH3AiYGwa13rlt0cDKgBzrcAw4Qkn+6wei
90c4HoGpnmnPymajlvN5ibiLr3leKazCD+L5x4Gf1g3PgIWQlY5PwrtrW62GwLy7
9MALVGae5/hq3HcJ09pnRXR53FFnVHrTfxDFrtk7RAjF0OEk6VXIbJmTLzzMWN3Z
XdYeNKIl1rSOe2bB5dVXg/KNQ3P3SW717lerrdSLymLzC9XwQGOMhIG29F/qW5iT
7u+N21GfS6IoEana/thZ
=8mNi
-----END PGP SIGNATURE-----