-----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.9.7-2build1
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
 b05155c7e390ce5983de5cb11561ace0047f2d38 2692 haskell-simple-smt_0.9.7-2build1.debian.tar.xz
Checksums-Sha256:
 64d9962f6d310dce78548aff39a8a378074ec3b52d57e0985225e798d4e3599d 10177 haskell-simple-smt_0.9.7.orig.tar.gz
 f9d063174e9082583adc273bbdde9cbd390da43c2ece4441350cc5e3acf925ae 2692 haskell-simple-smt_0.9.7-2build1.debian.tar.xz
Files:
 967f6a30598e1f427cd27b6bca740c38 10177 haskell-simple-smt_0.9.7.orig.tar.gz
 f4d314f9f8ee382594b98c9096a33638 2692 haskell-simple-smt_0.9.7-2build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmZEdEUACgkQ808JdE6f
XdlPjRAArGfRh9DOl+VMZwg7aBPCNaRpT2zJJrbt4vuDzIbkwb0c/upVE0Z1eykZ
ZZFkW7Zztbyf3U3CrzKu+aFAsOQa3a+sKA2PguDsPhKvOPRQSoxWyiJnGLNAzRuW
RYZ+TbFLQUfC+hxEGvwNYyXdZngi4p98x+rjbJ9c+W8dLPc+EfCNUPHNvmbZC8dD
6Ds78ohT6Y6vZPK34U5vxQz6jyBw18b+J/DNO7D7IG6i92FuEMFdFK2kcUJ1SW7A
pizzYZl4VXfYp3p4UX7Qfl5BqJh35Lp52+xTOF+R0PNVVQYNcwIFxsqMyrS65+/a
CEncdURfLVjTMkBOx48QzWLs+lt6r8Wg1CjSQoOvIDW6HThRJDjlmiXq4/y9185Z
ZKLXuGiibK/x80icOEUpRZ8E0WnB+zcCVeCR+PDzpxBvOUHNu35Pq40SJzdRn6jc
b+WvS1TxW4Znz+ShBgA7iB9FeweAN7YaTFCLi0wsK2jfRTuJ+NZXQi3L/Xc/Hy/0
p+ytJiRoHkfcjgHiMbXjFuxPVcVLwpAneEUGg1+MrTQ5ESTM9l4hzDHMW+vNi+Sf
/tsyfW77LShhYbFADWJKyiTYZJURfwvlbDYwcWp7OSFJp6u9pStzihDb67ijkUwB
7LUJFWFAC5OznY5UmM/UnW0lguoDzFNDTx0dRZkbxZkEfLMO/Pc=
=oVKN
-----END PGP SIGNATURE-----