-----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-----