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

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.9.7-2
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Uploaders: Ilias Tsitsimpis <iliastsi@debian.org>
Homepage: http://hackage.haskell.org/package/simple-smt
Standards-Version: 4.6.2
Vcs-Browser: https://salsa.debian.org/haskell-team/DHG_packages/tree/master/p/haskell-simple-smt
Vcs-Git: https://salsa.debian.org/haskell-team/DHG_packages.git [p/haskell-simple-smt]
Build-Depends: cdbs, debhelper (>= 10), ghc (>= 8), ghc-prof, haskell-devscripts (>= 0.13)
Build-Depends-Indep: ghc-doc
Package-List:
 libghc-simple-smt-dev deb haskell optional arch=any
 libghc-simple-smt-doc deb doc optional arch=all
 libghc-simple-smt-prof deb haskell optional arch=any
Checksums-Sha1:
 2e8538c2390b7c31823fa3ff3bc09c2302475670 10177 haskell-simple-smt_0.9.7.orig.tar.gz
 1d1c867d649b30c046083a9c06c4bc06843d82cc 2628 haskell-simple-smt_0.9.7-2.debian.tar.xz
Checksums-Sha256:
 64d9962f6d310dce78548aff39a8a378074ec3b52d57e0985225e798d4e3599d 10177 haskell-simple-smt_0.9.7.orig.tar.gz
 13774702000f6e69e43444bb528cf1486b6894ae0c736215bad644eb688fee40 2628 haskell-simple-smt_0.9.7-2.debian.tar.xz
Files:
 967f6a30598e1f427cd27b6bca740c38 10177 haskell-simple-smt_0.9.7.orig.tar.gz
 aa95a740ab71a971c8be3fd0b0c79a90 2628 haskell-simple-smt_0.9.7-2.debian.tar.xz

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

iQJIBAEBCgAyFiEEJ9c8pfW11+AaUTb116hngMxkQDwFAmTrIokUHGlsaWFzdHNp
QGRlYmlhbi5vcmcACgkQ16hngMxkQDyY+RAAnynfm1076DmjXlrCEjT9PHRXwi/D
x5BzyF/Ez5o48CcwUFqbgmH7Oo7M3b/iMMxHaf4IepaLWvt7ZL1gyjTGMu58sEhW
RuAlR8w/JTPBYqwHGEzAs6NWvGZ4f0HPxNAfHotLCttKAz6TZnVXfdvEIpJoX4xO
lVQ2VPgx1bkqZq6ZwC0PsaAX3rLkitPLIqZRkssn9h13i6lMSW3I0NVDVRgZ0F7a
jIo5ZPx6joQ4k2WQ0I65JOc6ggYNa8ix05h58+Zr7nyhowma3qCt2LDCPuhEXQIQ
Dr7iJvhl6dzuSU/jqmVBrTu1K30xd5ckn7xUMvGiugzPe7uKl7MCZp8Tv+YIjcvZ
gqxOZuLY1Ry6AuMWAF9T9lI6W2o3hF3UioXu4GlZ1Xe6fO0w2EHDpmFScvU44/CB
myKb1lgU1M28C54OKat/GLahjyE64xYW8dUB0lfe2larnIj0NHdlxKwoiQamoAMU
IsaFsn24e2SzrcdjIcMmn10XowGk1xm4OKNdXPbDKGqXpYw0DSijWyok25PSULBI
ZgsvbZaE5/JKT+rk7lDM1BXp+AqUyez4m8gSify0esb89+il/Fz/TMUxpFmKz9Ij
hCC7ZOgHU+arGfp/eouWusnglkCIsnL01BtDJs25sdfH41U+ihx3B7poKaA1S+BS
KJuGwmyNxFPp0jE=
=sYLN
-----END PGP SIGNATURE-----