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