-----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-1build2
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: 4.6.1
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
 5e2bb4450ad9c8411aab5c674fe0d7fc2bdcd261 2648 haskell-simple-smt_0.9.7-1build2.debian.tar.xz
Checksums-Sha256:
 64d9962f6d310dce78548aff39a8a378074ec3b52d57e0985225e798d4e3599d 10177 haskell-simple-smt_0.9.7.orig.tar.gz
 8dfa4b4f9cbb676da864f91aa22806aa956edbbccdd786b61dcdf8fb95c4ecf5 2648 haskell-simple-smt_0.9.7-1build2.debian.tar.xz
Files:
 967f6a30598e1f427cd27b6bca740c38 10177 haskell-simple-smt_0.9.7.orig.tar.gz
 658e98055b217f3e6ff002e9446aba2f 2648 haskell-simple-smt_0.9.7-1build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmOTNjUACgkQ808JdE6f
XdlMow//VLGU6vWvyBgHVDzDbK8JmPclcL02PLyuzZgcD6L5Ffn3ODo9heVkTRCe
BYNYNG9/PGWYjHWJ38wDl2QvCuCVZ0HqEZa64sM6Qnz/f1kf9qO5Iecxw+HBANNJ
Aows9VycQlHVkx7QaeVcvK3ns1I+Z1dnbw19vqJuOHYa95E9uCfjYSnDS7J2VliV
MC4XZkTULmrdukXP0RTFzf4J5LqPf70C+gYsM6TLcf9YVFSFXywr5w58E8aqjMBN
p5m2+dprUMuyijon+LHeohYdy0MCcmpgqpxp3iMHTE6RlUATSa0pz4XNHPKgy1Tp
WeDwZ/D5uMB39txncYQUru5P4a2PlLU2Nf/gasl4npTr2qn8GXalc9sZQR3RJ+We
tYCRYX1YgzOUTGMHkt2RsUJqcjfuODKNnq81ONhPKgYAMfG6UjcefomDGJCi/jQ1
UAHzsgfikaAtEYJw/Q76DTgohIrBQYILZNDDapXyblnv0fdcJYV3K+jXo7pe0qUj
ZY/WPxg4DoXisAIulvzNjw+w8p2b1h6FETRPCR67POcUyg94YRUMDgR5tys17xUh
83K3Gefmxb5r3Oziqqgjv3dZd2J++O82vs3/t2AnxaQZUWwFT8hw6q++WbQKVsvy
MxHX/SXi3Mvr7+5tiImjNjrRT4n1YFMKZaUNmbahH7cdNvUqZRI=
=nFOQ
-----END PGP SIGNATURE-----