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

Format: 3.0 (quilt)
Source: haskell-smtlib
Binary: libghc-smtlib-dev, libghc-smtlib-prof, libghc-smtlib-doc
Architecture: any all
Version: 1.1-1
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Uploaders: Kristoffer H Rose <krisrose@debian.org>
Standards-Version: 4.5.0
Vcs-Browser: https://salsa.debian.org/haskell-team/DHG_packages/tree/master/p/haskell-smtlib
Vcs-Git: https://salsa.debian.org/haskell-team/DHG_packages.git [p/haskell-smtlib]
Build-Depends: cdbs, debhelper (>= 10), ghc (>= 8), ghc-prof, haskell-devscripts (>= 0.13)
Build-Depends-Indep: ghc-doc
Package-List:
 libghc-smtlib-dev deb haskell optional arch=any
 libghc-smtlib-doc deb doc optional arch=all
 libghc-smtlib-prof deb haskell optional arch=any
Checksums-Sha1:
 67bb83d1a492ead3c3baebdc2899c3ef2bce2e85 9667 haskell-smtlib_1.1.orig.tar.gz
 e8775df9410c95b0131a711ec9601523d90fce86 2528 haskell-smtlib_1.1-1.debian.tar.xz
Checksums-Sha256:
 72e002bdcc42d38a77c3e0bd09695be1bc1da2fd20566d37f382ee7402489a2f 9667 haskell-smtlib_1.1.orig.tar.gz
 c9f1a85794dcebb79caa578aa0b900f6772e5da719497ad9ce3a5c9c06f70930 2528 haskell-smtlib_1.1-1.debian.tar.xz
Files:
 6c882a2866a94c7f0153b081d3d6bf13 9667 haskell-smtlib_1.1.orig.tar.gz
 a135853bee47d5e88a2191bd57ec7003 2528 haskell-smtlib_1.1-1.debian.tar.xz

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

iQJIBAEBCgAyFiEEJ9c8pfW11+AaUTb116hngMxkQDwFAl7eVaEUHGlsaWFzdHNp
QGRlYmlhbi5vcmcACgkQ16hngMxkQDwZ7RAAl+RruSkJ8kALP2BMShc5MFFjz8wT
vQ6snw8iGoVZezjg3QSDhx1v34pTFXi0fiRCgdbwTcm6hAvE52lBoYu433PpT5pG
e4dyJGB7vEc3Eom7aLrQEqf/frkbaM/gA8Sf9Xq5WHez/d4HUpYGqVspzHCTMi2y
3lXhlPBm4D4lwpwExxppRBk808iEMxHf2FpyrzAsiGNZWZhxXgFgyXySbWjEfxNp
SsI/Fa68ktH8SLLK2yYdwaIM0GYvRbWGl9Pta/iXOJLU44X8mkCsqWcNN+PCi3u+
6iOxuOSns8Wr+g3dP8fXCTaIyyslwiDH1r/WyVdaQfrwm8VA6R1WHnXD6nNx0+aJ
NZNd6iF0sdrp3CAEY3eej0jcQXj5j0RAzPizUIE1PHpQ2/x+lRqXIAcGToxBbLse
Vk5q4AHbTkk4IiDZwtjIel44iJgrGXsr63VK3NFs1dvq2IaQX9mUg/3fFnXvYppA
yDJfJkxGAPeTI4q5DUIfR0Ck8qC/inhHw0uM3ySx1nHJwQ2VdZTI+0v6uIWNOI+H
iGAHTSkqTxvf0v0/7B8gTUBRcZmUN0pioNs+QgxPpWIlCBoAfWjAA+1483vSaBq+
coLEZrp60Xpo5NQD2x7/uj6GzSHMz5j5ftg6IsgqPvbdPYoXPqh+lElzr671Ee/I
yMXT4ZvLoYflEcs=
=ZSqs
-----END PGP SIGNATURE-----