Accepted haskell-what4 1.3-4 (source) into unstable

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

Format: 1.8
Date: Tue, 11 Oct 2022 20:08:49 -0400
Source: haskell-what4
Architecture: source
Version: 1.3-4
Distribution: unstable
Urgency: medium
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Changed-By: Scott Talbert <swt@techie.net>
Changes:
 haskell-what4 (1.3-4) unstable; urgency=medium
 .
   * Disable expr-builder-smtlib2 test also on non-x86_64
Checksums-Sha1:
 78583b495ba48e2fb17cc1378a9441e17f21f82c 5749 haskell-what4_1.3-4.dsc
 e5b9082800a67ecea58e16016c73c41205bb4703 3644 haskell-what4_1.3-4.debian.tar.xz
 d9dc1a684da288e2f03b92ec997a5924400206f2 18544 haskell-what4_1.3-4_amd64.buildinfo
Checksums-Sha256:
 c54c34e41de160bde49ae82e7e21a890175669a97e30fd4be95ab1169c46abd5 5749 haskell-what4_1.3-4.dsc
 83d5303dea88712d39dcbd8e66cda11dfc75a540a1bf95569ba55f8b386669d9 3644 haskell-what4_1.3-4.debian.tar.xz
 05eac6286e67e4b98afed25052ad9eb3d0deec7bef93288d2789a9067ca01e5a 18544 haskell-what4_1.3-4_amd64.buildinfo
Files:
 87752c59b0f76f8efc328171c3ba4694 5749 haskell optional haskell-what4_1.3-4.dsc
 973f47c2a4efc22d809238e9b616dff2 3644 haskell optional haskell-what4_1.3-4.debian.tar.xz
 230399a3ebd11a433fcf449fcdbe613d 18544 haskell optional haskell-what4_1.3-4_amd64.buildinfo

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

iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmNGDvoPHHN3dEB0ZWNo
aWUubmV0AAoJEFPVvGS1I3iiQcoP/Re9mohLMANZEfgo0mnYf/+TnVqI2EDVEY1O
QWGRHhzI8E0VArbGaRB2Pu0gg696LlD5Qruy0CCoSJgMHk/Yk8P5GXtEK4QXul8V
0kxG6WHPyXO18NdenL3puEJdzegBqTRdzX6D+Do9NNNa9rWLRbCQ8wagUGTdedum
t+tkmzrG2plPQh31Mf9owNYUlsNAnvqdbXMdZNedZKtCcDYdsObHaZ2FZn2Hrt1K
TwGMMH8Tv3SUA99izbJYQDgaXuqWLz+IDQLKmDgY1JKuj121s26AlTtzanflr+Md
OofWrh8vKYGe9Xl7lvsdFr8fWqCOC+rjhNKfHOR6gV7pBTy5LxAcTRabXYimXREg
tq/f9vgg+YlOuAAoTyv8odQonk2FJ/zDB6TrIf7Tzp51wjBcRQQmVkGYOhZgSEtX
akigdpYp+txPGtZpahIktUotEc8JB/ySVOWB5mVUs3FkKioyfjKWH13m5Pa+cAdd
N2hZfvdeDTMaMllKqqOn49M5fmbYWM57qa58S2hbjIaLM3q9kmdrcDlc1eSy9bL/
4XiKz6tTdAYp8P3D4KqG7EmSQYsoSo3LxK8CmHkWFtpDxgSm1Ca69W0Qs78tcJIq
dvNALg+4o7x377KydsKJ0hSnXOwdgWQVxZV62eygQjaQ079yWPHx30hQK9WmYk40
ujj4vbSg
=ojom
-----END PGP SIGNATURE-----