z3_4.4.1-1~deb9u1_source.changes ACCEPTED into oldstable-proposed-updates->oldstable-new, oldstable-proposed-updates

[Debian FTP Masters]

Accepted:

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Sat, 24 Aug 2019 12:44:04 +0200
Source: z3
Binary: z3 libz3-4 libz3-dev python-z3 libz3-cil libz3-ocaml-dev libz3-java libz3-jni
Architecture: source
Version: 4.4.1-1~deb9u1
Distribution: stretch
Urgency: medium
Maintainer: LLVM Packaging Team <pkg-llvm-team at lists.alioth.debian.org>
Changed-By: Andreas Beckmann <anbe at debian.org>
Description:
 libz3-4    - theorem prover from Microsoft Research - runtime libraries
 libz3-cil  - theorem prover from Microsoft Research - CLI bindings
 libz3-dev  - theorem prover from Microsoft Research - development files
 libz3-java - theorem prover from Microsoft Research - java bindings
 libz3-jni  - theorem prover from Microsoft Research - JNI library
 libz3-ocaml-dev - theorem prover from Microsoft Research - OCaml bindings
 python-z3  - theorem prover from Microsoft Research - Python bindings
 z3         - theorem prover from Microsoft Research
Closes: 842892 926939
Changes:
 z3 (4.4.1-1~deb9u1) stretch; urgency=medium
 .
   * Non-maintainer upload.
   * Rebuild for stretch.
 .
 z3 (4.4.1-1~deb10u1) buster; urgency=medium
 .
   * Non-maintainer upload.
   * Rebuild for buster.
 .
 z3 (4.4.1-1) unstable; urgency=medium
 .
   [ Gianfranco Costamagna ]
   * Team Upload
   * Upload to unstable
 .
   [ Andreas Beckmann ]
   * Do not set the SONAME of libz3java.so to libz3.so.4.  (Closes: #842892)
 .
 z3 (4.4.1-0.5~exp1) experimental; urgency=medium
 .
   * Package moved to salsa (Closes: #926939)
   * Standards-Version updated to 4.2.1
   * Fix priority-extra-is-replaced-by-priority-optional warning
   * Moved under the llvm umbrella
Checksums-Sha1:
 e6a95d68cee003db92fc4a926542e95ac9fed657 3051 z3_4.4.1-1~deb9u1.dsc
 d563fc3173a05c123cca8c962c1d1992f73dbd35 14768 z3_4.4.1-1~deb9u1.debian.tar.xz
 9531b8a298eb012e35e11ef2d5f61a05e2afd2d6 20810 z3_4.4.1-1~deb9u1_source.buildinfo
Checksums-Sha256:
 c422411161cbfbbb751e0e910b1da20daf50e99dfd30994f25b0ca1eae9292e3 3051 z3_4.4.1-1~deb9u1.dsc
 e21d48e2fa9ac9b44fa116e68d0c89ee8331641b337eb5ae455070de50bae706 14768 z3_4.4.1-1~deb9u1.debian.tar.xz
 0306b83934fde93554a8554d5da37accd17973c2cacef3f3509d23474677445b 20810 z3_4.4.1-1~deb9u1_source.buildinfo
Files:
 295cb1f547f6dde079db9a7abe16ce1a 3051 science optional z3_4.4.1-1~deb9u1.dsc
 096d57b8c11bfd98a02dd353738edcc6 14768 science optional z3_4.4.1-1~deb9u1.debian.tar.xz
 0b1a3ee5e95f4141c26fda11884c2868 20810 science optional z3_4.4.1-1~deb9u1_source.buildinfo

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

iQJEBAEBCAAuFiEE6/MKMKjZxjvaRMaUX7M/k1np7QgFAl1hFccQHGFuYmVAZGVi
aWFuLm9yZwAKCRBfsz+TWentCPTvEACoNpaO4TDPpdxQJwkhLUeiNMsCDB1A36Q2
gQOqubhrFtCNi3Vrx8yAITStY2jRkmMcWfi47qjx4Q00eVW2PKW++sAVM9nPYkfm
itZI4hJZ5G0FXOOo1brzMZQ5xA+LJ9d5mRcjkSy60O13ahGDgUVEFNRPOQM2evex
Z8ZVrZqMMJS24pP3WgSE1GsMLodAgKd6b2V2sWMO29kbJReCVk8TV5NhYH0pvpBP
Gj0Dvu+ozsBotYv2CBQJ44CqosMAiDW0gIYv6bgEexO/fizF223KWj+giVKp6ZtW
p6cAWIm8sdXdM93SU06kn/mcx0BMxTG2o1f+q0NSiMtLht6TRfwZK8JnuPv6B/RG
WNUwDHPUyTanvuHTn+NN+JLEKYFN/frXwQ7XHNh3k1nzksLNts0ZmUL8tqqsXJpL
hOOIuw1TqvLWOgjN/5JU+2/OfQzJFbvyKOHbZd2UHCQCsgV/cPDxcyFa5V0gkiLP
mfsTxnfz5jBd+0G9wwRf3qcn2WtXrbtOFgCPMasZ+r4bbRx1PAIy1EJoeHkJbTUY
SHrppMw2FiRaNP11Kcbqb2dy66DdRFpJpuf6ZOnSNDYQPr3U2ImAUFazBjOOSUgj
gMPias6nTJfLiDi/fZ5NV+U6C7OQMmFSOeL9vZSKrC0noL9rQR3oryIzq6o5mg2Z
MjNc+X1tBg==
=AUDi
-----END PGP SIGNATURE-----


Thank you for your contribution to Debian.