Accepted z3 4.8.7-2 (source) into unstable

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

Format: 1.8
Date: Mon, 09 Dec 2019 13:39:38 +0100
Source: z3
Architecture: source
Version: 4.8.7-2
Distribution: unstable
Urgency: medium
Maintainer: LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org>
Changed-By: Fabian Wolff <fabi.wolff@arcor.de>
Closes: 946448
Changes:
 z3 (4.8.7-2) unstable; urgency=medium
 .
   * Adjust 01-intrinsics.patch to try to fix build failures on many
     32-bit architectures (patch tested on i386) (Closes: #946448).
Checksums-Sha1:
 5e95354f0e3a281ae576fcce9253d109552c33e0 2677 z3_4.8.7-2.dsc
 3787299b145e4b536788a8798442a7fe145879b6 11520 z3_4.8.7-2.debian.tar.xz
 8347dce3ff54416d7d97bcfe6032c2fc1a147c25 13532 z3_4.8.7-2_amd64.buildinfo
Checksums-Sha256:
 b0cd4debb8296331c325fc3fcc92f8bec84b8d0f1b1259c1f8e50b92d9f3d153 2677 z3_4.8.7-2.dsc
 a739192d3a75a2a2719bf3716e9727740cb89bf0a5de3f29d8988e1918f6f4c5 11520 z3_4.8.7-2.debian.tar.xz
 be5eba9d436915e53c48ec7ea548d8ce2c309b5a1ff2e32015c03ae81a40065a 13532 z3_4.8.7-2_amd64.buildinfo
Files:
 4c6438287a9cb5f3a5440adca054a519 2677 science optional z3_4.8.7-2.dsc
 993274150e3ba4997692e0ecde48855f 11520 science optional z3_4.8.7-2.debian.tar.xz
 0a9feba5988db0abe8b88efeaa5f63d0 13532 science optional z3_4.8.7-2_amd64.buildinfo

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

iQIzBAEBCgAdFiEEGKeQdgwAi1CfzfenilOItk1pK0kFAl3uRfMACgkQilOItk1p
K0mQwg//WAICRwwpbWKgndsEMUoT7rkPNMYqEU2t1VAfRxunG/OyrKW9ra9dpd5S
U8sG3v/qWjjdeOkbMbjWE/w8jOrbeEWURdlPhtZ9r2odYaGhARHtDTmNDbMzf5Lj
/sCst4hYNJOHts9qpbD+iltJQzp12hlOG0ucSTff9YCoMiFbiRZDx/y6o8dSzPyu
Z3vkFPgeuMPDdAtNgikBeQ7BUf31NBspX2DxifwkMTE14ClDaEAYf7ArT8zxGozs
3+9NDtXVHuLDVXPZnFgeWlz20dZs/8bIFUwiVSusycpBGD5enByhMXbLtz95jUKV
M5lXSP8nmC2TQxkVpT6jY6V52bupFAM4Nml968mZem06fBEa4Un1kuqCDEVPq4WI
Ck25m4RIoEzVk6V5dF5IvVwB2ScdpNAlT2sizUNxOKxBuZVUaoXJC3FYOCqOWEYh
dRlQnPbuoDgDtCozwLpPOY9Sb5LpMUIgxl9jkeDeZdKztUlj0OwTveLpuUgNGAIm
fnrv4yVgdA8z8KFharD+y1lJEKzCHA8ka4ZpcTjvteGfyiNknMNivys3TD2u4BNG
RwaifLFNZO9UcuFeYaGM+YasfLJIm0si2CaKC+u1eR7pjs0edX+00/ytEKb09MsJ
U5CCXNKmcLYQyk0jmyuv6Dv1sNu/lBIdsMnjgGxEhb4hTwRg7PE=
=5VrY
-----END PGP SIGNATURE-----