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

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

Format: 1.8
Date: Mon, 05 Jan 2026 17:42:52 +0200
Source: haskell-smtlib
Architecture: source
Version: 1.1-5
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-5) unstable; urgency=medium
 .
   [ Scott Talbert ]
   * Build using dh-haskell
 .
   [ Ilias Tsitsimpis ]
   * Sourceful upload for GHC 9.10
Checksums-Sha1:
 a1842fd2b69ef85a5bb13f9a8afebdaa6ac30bc7 2246 haskell-smtlib_1.1-5.dsc
 d93585245771f36c9b122668f3f405303059d009 2596 haskell-smtlib_1.1-5.debian.tar.xz
 ff37ace651541460d3a31ac2c8508008adea4aa7 5702 haskell-smtlib_1.1-5_source.buildinfo
Checksums-Sha256:
 71bd0ba612174d33475267265e7c7f232c5f8c77b50de406e32254386d84a7d3 2246 haskell-smtlib_1.1-5.dsc
 d4f767e129c2118a2b474433ef552c0ad970afbfec2f0f0e8b730af78c758d59 2596 haskell-smtlib_1.1-5.debian.tar.xz
 56f304c13747c2342cd27fb189976e09736928fe5728bfc0cb4ead025ac31af3 5702 haskell-smtlib_1.1-5_source.buildinfo
Files:
 1267bf2ea8e44c361f264e0516f78150 2246 haskell optional haskell-smtlib_1.1-5.dsc
 ba3623661791ebd1cc01d5e8deb8317f 2596 haskell optional haskell-smtlib_1.1-5.debian.tar.xz
 b3a49e119085ef31ea516ff0dbe5a0bc 5702 haskell optional haskell-smtlib_1.1-5_source.buildinfo

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

iQJIBAEBCgAyFiEEJ9c8pfW11+AaUTb116hngMxkQDwFAmlb4DkUHGlsaWFzdHNp
QGRlYmlhbi5vcmcACgkQ16hngMxkQDyo1hAAnCK2WSza4X98K7Wdfr4mxYM/Q67X
jhmyNtOmZBIw5M61Ocb3Ulcvxv45eUURdOV1gOSJoWLBevj8ECKqRJWjANbAr/ui
CvcYK1NcwanRpr76Wcfwpj9YLShvgvLrlhs9TOSvOcPNrrTWMgrkr9h92AYeSOiB
Xanfb1UDZx1IIT0ydQ6ZeCHzW6flRrDpZqIyF80zvByoSUOeC8RTI+LmoJxAusgr
ki5OOnCW3nz/K6ld2sMe9zNJ88NPhJkZiBa+LuSdhT8EpNIsjCpWsppqUckjy+xa
1wxhZ0xsCAXeIxMUmLrw/Sob7wHwykrNW0PvhZQfvuL3OKz1/mf9Vvvn+z6uKD5j
J0t6rx0km4VBZpEyL2alOlhQ/D8yyU53Q25HMCnHfF23HZDW02MsI7C2Bb12qiAr
fQkpjC6SE3u+T8+1S6qLJq47MMGPuNXCbK8SHNMa6t9u7JiJS33UGYaOrMC7HjMY
KLQeIZ6f/MQSjOu50DsQahRpd0vk55+3wl5KGBmbDA9Etu1Lqe2sZ00xHnpxSsNu
/6EoVip3WyyYOfp7pupDXv/ysVll6h67RhdmvSTAFDMkFnPFMapkTN4XwibfPh4X
Tom/2agbqyyQ/koRwfderZLQcR2pkqArQLIPg78uBFwSf+EhRxeCvTBFP4+mITR7
EdMOCOFfHAjl8Ks=
=nTDO
-----END PGP SIGNATURE-----