-----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-1build1
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
 090e526d7c49bc9ad776251efd61f0ee0ff99b1c 2632 haskell-simple-smt_0.9.7-1build1.debian.tar.xz
Checksums-Sha256:
 64d9962f6d310dce78548aff39a8a378074ec3b52d57e0985225e798d4e3599d 10177 haskell-simple-smt_0.9.7.orig.tar.gz
 6af055e6bbbcdeecbf36a56529738e832beee41ea3e3e976db4f5cf71cbe96da 2632 haskell-simple-smt_0.9.7-1build1.debian.tar.xz
Files:
 967f6a30598e1f427cd27b6bca740c38 10177 haskell-simple-smt_0.9.7.orig.tar.gz
 62385e21d30e416f606ec5642fe6635b 2632 haskell-simple-smt_0.9.7-1build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmOSTbUACgkQ808JdE6f
XdmRLxAAq/CGzdadpACMTq9xN3q5b6+zBAk+AJFDTJwZ4GkI+MX0LQdKWh7koDrl
+sQzE8QakwS7TzH70zTsLC+NKV55uJugQa4xOp3SWL2BjBOBu35rnpOMX9lqrLoJ
TnBCcaJPwEr3NZsFKQRVdRrD3bbQD7FkS5MX+2rMdUOnsV93YOdf8Vc22WwrOurX
dAErRy27NzjuMBl+Pu4oxrUhQ+7hA+NEvRZ0tSKG+5HV1U7xBRk3ZkzAYaY1nk6A
cj3h5o0sOv3Ogu0AodhA3vrL5UscNafNf3Im9WKGpkjPs3JKeelm63VpWELIHcEz
pJN4a4sPABxoy9o//UjmnrOc6SAd90MJvRQeGwtung/K3++XU46dWRcGOmzjhukf
tDPQAdvTcMqyKyEJiD8CGIJXP0wJvEyVhV29hLuDk+aEVucQ7cJblquaK5NfL035
cEPkM8GC6yykg5SKfhO1wqvDCPBNqz1YTBwTYPvRj72cJIkBX9i6sLpFzefaCEMB
t5EUp6YyvCdoxFf0S6ZeOUSF2A2cqmlx4yxnahyN92g513/KhAOJmnN8s2ea+SfO
aQvvlaazy2BGoZQ1I3JFCy0wAnU9Mmkaq0vD/edV3SxExV65feRiT9xX3uIUP4xG
0tqZOIZs9qy4ozbIXbovpbPfGPq+KgcDSQ3go7YOFARGdkah/q0=
=dgLR
-----END PGP SIGNATURE-----