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

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

Format: 1.8
Date: Sat, 14 Sep 2024 22:49:03 +0300
Source: haskell-smtlib
Architecture: source
Version: 1.1-4
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-4) unstable; urgency=medium
 .
   * Declare compliance with Debian policy 4.7.0
   * Sourceful upload for GHC 9.6
Checksums-Sha1:
 ad26244bcdeb6b1330b701dc267ca37b444eaf5c 2225 haskell-smtlib_1.1-4.dsc
 e53b417b2d952153c278d55e75293492c61bfa70 2624 haskell-smtlib_1.1-4.debian.tar.xz
 10ca4439258a01efd6da8aa6a6fc1f8d3fca06a2 6146 haskell-smtlib_1.1-4_source.buildinfo
Checksums-Sha256:
 f221dc901e1c4e77edb18b63b9c12d4214cf1df3fb9451769fcd559642c3c722 2225 haskell-smtlib_1.1-4.dsc
 99e2291a521d5a283ad374ab4b9cd99726a64bf1d58cbe3a46e06c369cd848a4 2624 haskell-smtlib_1.1-4.debian.tar.xz
 50c99f7b43744eee6a96b31eade98fb3e6338884ecd7699ece930cc3d8b9f45b 6146 haskell-smtlib_1.1-4_source.buildinfo
Files:
 569f2c5cedef0ae1a9dec5f339d60a66 2225 haskell optional haskell-smtlib_1.1-4.dsc
 2285a82a3a3d8128556fde4a9f0f8337 2624 haskell optional haskell-smtlib_1.1-4.debian.tar.xz
 dda1e5a193ef0ded738c5791d46a87b4 6146 haskell optional haskell-smtlib_1.1-4_source.buildinfo

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

iQJIBAEBCgAyFiEEJ9c8pfW11+AaUTb116hngMxkQDwFAmbl8jwUHGlsaWFzdHNp
QGRlYmlhbi5vcmcACgkQ16hngMxkQDzzhw/+JHACbeTwD9J0Ik8e4kuaAHrvijeq
s2PADAl7ibNsIaMz5jREjqllLxCDvvAyuJNjUjuUgExFiN2AX1etwBatvtOKLk1f
kQ0TiWSwqD69PFXyiR7f+5WlQsO/FnXu1o0WSe5c3M/WHMSRGjLzcLO89/Oj+aDI
ob1gJj+agVcFYWQUkob7bqG3WhrqfUG1K7vEfH3IWmrZFCzIlS+zKLpn8wuaHV+R
FpcwbgTzIC5PCfQUFq2zhn37GvZlTNPKctwjsqgVGR1F33yvBw8EYKgHd4slQ3Fj
eUQ97g4hKm0ZAyzdw2qHoD8Y58sXcdmxsroX3X8AQE9GwvduS9F8s2cIl0AasHND
0gieKErle55hNAa/EdhYZGrUrOPQMIn47Qfim7+P55oKGxX/Cz3WQMXZfMbPIyfU
CnbI1ENuJFRpd2ayef3EuXXk9MzOjp9Tha+Vc1Af3aITjiloWmR+5lalSOn76TvN
0MjsQbJPQTuKrz908Hhhsx1h3171jbH2B8l83MpOjqn77qMpITO4vw3pmqLZjwz/
YP6uz6D+3MbHyMELyiM5mVqgZxhPK6N7QWt2B43v2zNpYjEZjkhYLl6KbtlIvNOR
ghatIraPtwB6pcQR+6zRsFraSNUh3921NnlIK309SkjCpNOKo//d/alA8jth6FKd
ieVpZb03HmcQkwQ=
=c1+R
-----END PGP SIGNATURE-----