Accepted haskell-smtlib 1.1-1 (source) into unstable

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

Format: 1.8
Date: Mon, 08 Jun 2020 16:55:19 +0300
Source: haskell-smtlib
Architecture: source
Version: 1.1-1
Distribution: unstable
Urgency: medium
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Changed-By: Ilias Tsitsimpis <iliastsi@debian.org>
Changes:
 haskell-smtlib (1.1-1) unstable; urgency=medium
 .
   * New upstream release
Checksums-Sha1:
 86fc2b9aa0205ae01dafd6e22a37951a040efc12 2223 haskell-smtlib_1.1-1.dsc
 67bb83d1a492ead3c3baebdc2899c3ef2bce2e85 9667 haskell-smtlib_1.1.orig.tar.gz
 e8775df9410c95b0131a711ec9601523d90fce86 2528 haskell-smtlib_1.1-1.debian.tar.xz
 8dd0ed4856cb73d662e482b975a49af9d4e13903 5436 haskell-smtlib_1.1-1_source.buildinfo
Checksums-Sha256:
 3479d7decbe496ec907f206343a363cfc218009f1b60e1a9ab88857b7fdc579b 2223 haskell-smtlib_1.1-1.dsc
 72e002bdcc42d38a77c3e0bd09695be1bc1da2fd20566d37f382ee7402489a2f 9667 haskell-smtlib_1.1.orig.tar.gz
 c9f1a85794dcebb79caa578aa0b900f6772e5da719497ad9ce3a5c9c06f70930 2528 haskell-smtlib_1.1-1.debian.tar.xz
 4e3d2ae85467afb85b785c89e22b9346dafcf0b83de55802303d33a03e9e8379 5436 haskell-smtlib_1.1-1_source.buildinfo
Files:
 024c6782a4d5e57e4580a1ed38d6f7cb 2223 haskell optional haskell-smtlib_1.1-1.dsc
 6c882a2866a94c7f0153b081d3d6bf13 9667 haskell optional haskell-smtlib_1.1.orig.tar.gz
 a135853bee47d5e88a2191bd57ec7003 2528 haskell optional haskell-smtlib_1.1-1.debian.tar.xz
 98b8223960b34982049aaccf7e4b9cc5 5436 haskell optional haskell-smtlib_1.1-1_source.buildinfo

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

iQJIBAEBCgAyFiEEJ9c8pfW11+AaUTb116hngMxkQDwFAl7eVaQUHGlsaWFzdHNp
QGRlYmlhbi5vcmcACgkQ16hngMxkQDyF5xAAhl63GWRr73OsXMVnMIXnS4lAnm0y
cHQzFak1nIjwUPMqktc7w/xvxUJYYSpTwCi9zx3cG0M/5EHAKcqyLX+bKtaL3Gqt
02QchgFJE+es/Oc+FWsv7u3GhZQcl220Y1K+o1I4t0Hgu63ZrmCKkQ7JLYI1p1yQ
3Q8AqbUbObdFD/Qj2vHBKVyuMxPuY20V+KCeDKudHRcFR9N9+CPk0zPwKkcqGCgC
dOvNayCcX7ghlbZwrlrTb4udb3nU1HdmvrYhMRDp5yUQO0s7lrprWWtm5jr+1Bm0
MZXp6ZdvI8Sh2QeBQwH321Wa99iUnpk8/yR7uVmJLWycdyfx2jNM8dSgP5oxwr09
zymlAj4yC7bgCpn7mLiO9ro/wyLu3Wkbs+6ssgNT4JgfSTVRCVB0oRQgHE9CQO0z
jq9trx8L8a3DJx+PEGcRun+lfb+9sjLkGcYmHqRrETaKnlcm8wj6DXrvTmfQFX46
GnyIEC+TkESlqbVyB947g8NTghxBk84yDLiwAcBa709sInaj0dT6O+v5Ya5HWacG
keg45hO/U20usbrSMjLenazGrzXNVKsUg4aN975odlh1CcOB3HefNF1d9pODwhxJ
ox/Alc2rJ/iOHQUopdgkKxIbSF+0V1V3r7l3w7/d4cGR8/ub4ctNl1jr5uQyKHAY
m1pSubSuu+5LhdQ=
=S40x
-----END PGP SIGNATURE-----