Accepted z3 4.8.8-1 (source) into unstable

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

Format: 1.8
Date: Sat, 06 Jun 2020 16:32:57 +0200
Source: z3
Architecture: source
Version: 4.8.8-1
Distribution: unstable
Urgency: medium
Maintainer: LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org>
Changed-By: Fabian Wolff <fabi.wolff@arcor.de>
Closes: 948894
Changes:
 z3 (4.8.8-1) unstable; urgency=medium
 .
   * New upstream release.
   * Add nojava build profile to make building the Java bindings optional
     (Closes: #948894).
   * Remove erroneous Multi-Arch: foreign from libz3-java in debian/control
     (see the discussion in #948894 for details).
   * Refresh/update patches.
   * Upgrade to Standards-Version 4.5.0 (no changes).
   * Forward patches to upstream.
Checksums-Sha1:
 43024ee92806f15c6958222f1e905c2b9e194a72 2626 z3_4.8.8-1.dsc
 e60759b8017993b6cc550e6d96762f37f002c3a2 4520119 z3_4.8.8.orig.tar.gz
 6ccda73ace6eeaf907976b8d5b1e432236236121 10176 z3_4.8.8-1.debian.tar.xz
 2c64c2f7ffab1dafc78ca8c078c06f446a466c1f 12676 z3_4.8.8-1_amd64.buildinfo
Checksums-Sha256:
 6230c3e6494bfb6194c0507f0120a4be9b2757381ae9b4e22f9f73c90e3dad5a 2626 z3_4.8.8-1.dsc
 6962facdcdea287c5eeb1583debe33ee23043144d0e5308344e6a8ee4503bcff 4520119 z3_4.8.8.orig.tar.gz
 c861939c9818db03e29186805b9031c49488896e2085d76b16724abbbfdd3213 10176 z3_4.8.8-1.debian.tar.xz
 fd6f7cb6a11b23265cfca7072d149de68d9565f3565d0b77e78a5eb12c7f113d 12676 z3_4.8.8-1_amd64.buildinfo
Files:
 50bab39d51b8b284506ea8e5e7f04a3c 2626 science optional z3_4.8.8-1.dsc
 83089ea2472aca9954a70cf81e21e08a 4520119 science optional z3_4.8.8.orig.tar.gz
 7cf2465dca16d2af6f463923c4238c6e 10176 science optional z3_4.8.8-1.debian.tar.xz
 25c59761f1ff9d64108dee609ef42b51 12676 science optional z3_4.8.8-1_amd64.buildinfo

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

iQJIBAEBCgAyFiEEGKeQdgwAi1CfzfenilOItk1pK0kFAl7briMUHGZhYmkud29s
ZmZAYXJjb3IuZGUACgkQilOItk1pK0kWHw//UieQmHVZYQ/CH91zB4u/1PaJOEuB
BYCFFYoSy+uh8gWOwut1ILiN+KN//omqdWU7msZrxpofW/rB+CfyJbFQo5fk0C5a
lIuUunGq+I5Wn6DytmJkWZgwVwpPJBbynymxqG+usUzig84caNSLbDyjfzP2hx7c
nhene+sqtx1sFdGUATF/1pdygC0xkjrcgpoTrysZzCUFKBG7zQ6lSXx0hnsUq1E/
fk6ucEpTZS4LEGIrFPk4YNt2dwfygMzj1iiJaFn7buVxua/hxE/zm7iFpNrhi7YF
P6I4lOW10Wpa9dOlW/iMmDi1rkXymwcWXDkW7Jm+3oPDKsXtoXhRfXojoY9ppaaK
5WZKQG03PSaoAtBi2hN1MkeTZcdPXfEyPYmbALkrve56jqTfuqSVxhicCfzqDb5w
9r33IkseciEOt94QavXRh9EOXicnb+rIoU/iyD7jMweUxnJ6a9cs6RnP+M94ZL6d
+SeBG8olyQH5SinMoC9+2NucCJ3bAklqe5EErmYM0wfcWbYqrFg2ug9vUAHd92Kg
7moTuJGXUhgNI5wIDyAqo0cRJRlFYrGVZsOGPJ1OjHNTdpw9T+qQSZraE66JA8m6
4JNWfEHHrd4QXcTd5jfxoW+XbJ3X2BSlzsARg3GPaeBYpShLk9t0kZDFkME+qhrN
vjgF2pO0j05xlQs=
=MrPo
-----END PGP SIGNATURE-----