-----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-3
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.7.0
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 (>= 9.6), 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
 f49960f625f2ae4c847b61624b665b856a4b90b1 2652 haskell-simple-smt_0.9.7-3.debian.tar.xz
Checksums-Sha256:
 64d9962f6d310dce78548aff39a8a378074ec3b52d57e0985225e798d4e3599d 10177 haskell-simple-smt_0.9.7.orig.tar.gz
 eb3d0de507693ee8f900f24c9b221941aca304a5bc58173d4aeeb6b8c161a8c9 2652 haskell-simple-smt_0.9.7-3.debian.tar.xz
Files:
 967f6a30598e1f427cd27b6bca740c38 10177 haskell-simple-smt_0.9.7.orig.tar.gz
 30308d31453cf14d3bc81fcb36e5f61a 2652 haskell-simple-smt_0.9.7-3.debian.tar.xz

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

iQJIBAEBCgAyFiEEJ9c8pfW11+AaUTb116hngMxkQDwFAmbl8jIUHGlsaWFzdHNp
QGRlYmlhbi5vcmcACgkQ16hngMxkQDz8tQ/7BYRwEiZ/ilNYHjbSJg24UDixM04L
hylcDm18X4HHcbkhVtDSPch2GQZpHwy9cjhrb5rYFInFMqe9Xi5dKhB+H/TJujLH
tTnQzz0AGDjmIsVowN4LLJ3sQ3FwnvEnLT3tqb/xZFPsPQxhNRkfQqBBUR+vCBTv
kCeFnBhcZdBeRbk8CcQp/6ZVlsEOOGPqLQtMkkBHEsBQWtW7HVZd5ScnzZWIPfs+
JvTTIugQM84VW+69z5F+vp+i9jTQyMHDUOrTossT4i1E5LrsoyTrC+owStqewGcf
EBsXrilOsirQRtCwO3VDZABHZtBxH+xsZ4LEaBWqyS4fVO2bYrvHP7MpvvN7FPbj
q28Af26ZlPzBCZQpBqVaSGqgylOTlWh7NFaPR89HboCUWlVpEKErUbvY2z4N23Jt
6Hy98tV/SvFBx6NmP7/Y1uEBQZNNyHVLeOkcq/UbynYlQZ4HUltD789XEwTonrRp
Sguq9xRdYTlchCcy29BytNyzrdaWZJ6o7CMJ1jKNoTPYnW0QT1ykSGZTihQJCgqZ
izErPmPlrXoY/paFdTNPmeNkSteG6qLjthE6HXmRtm7xLYac5XOUTFRJql/gxeXQ
4rzu8ke7g2nK6BBxwpcEUZn0V4yioac/AeW8XL6WYGu4kbdNL8iKJasduMc3jipe
aOR/bzfPOdOTC9E=
=d4kS
-----END PGP SIGNATURE-----