z3_4.8.6-1_amd64.changes ACCEPTED into unstable, unstable

Fri Oct 11 02:00:14 BST 2019

Accepted:

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

Format: 1.8
Date: Sun, 29 Sep 2019 18:21:54 +0200
Source: z3
Binary: libz3-4 libz3-4-dbgsym libz3-dev libz3-java libz3-jni libz3-jni-dbgsym libz3-ocaml-dev libz3-ocaml-dev-dbgsym python3-z3 z3 z3-dbgsym
Architecture: source amd64
Version: 4.8.6-1
Distribution: unstable
Urgency: medium
Maintainer: LLVM Packaging Team <pkg-llvm-team at lists.alioth.debian.org>
Changed-By: Fabian Wolff <fabi.wolff at arcor.de>
Description:
 libz3-4    - theorem prover from Microsoft Research - runtime libraries
 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
 python3-z3 - theorem prover from Microsoft Research - Python 3 bindings
 z3         - theorem prover from Microsoft Research
Closes: 886590 938876
Changes:
 z3 (4.8.6-1) unstable; urgency=medium
 .
   * New upstream release.
   * Make watch file more robust (match (z3|Z3) instead of just z3).
   * Add myself to Uploaders in debian/control.
   * Drop the libz3-cil package (not all build dependencies are available
     in Debian; also see the discussion in #886590).
   * Update/refresh patches.
   * Drop python-z3 package and replace it with python3-z3
     (Closes: #886590, #938876).
   * Enable autopkgtest package testing and add several superficial and
     non-superficial test cases.
   * Add -fPIC to DEB_CXXFLAGS_MAINT_APPEND in an attempt to fix #940266.
   * Try to make the build more reproducible.
Checksums-Sha1:
 3fce00cd1b067f7126c6159e0588aaa8d2d5f195 2659 z3_4.8.6-1.dsc
 9a9ac1640ccb85cb89f35b92ffb682a9fa9deaf0 4328752 z3_4.8.6.orig.tar.gz
 6e4137474c5b9d0de98c49cefcc53c11accff976 10776 z3_4.8.6-1.debian.tar.xz
 d53502876fbadcebbef12c85562fcdde2f3a9420 106714708 libz3-4-dbgsym_4.8.6-1_amd64.deb
 3c7a37fe225515d620ff97b6f09f7587aa5c22fc 6814300 libz3-4_4.8.6-1_amd64.deb
 13544a1acabf2661b6f67a4c15b1d91e61185a91 85688 libz3-dev_4.8.6-1_amd64.deb
 9455bb11d33ccc160fed9346c9cfe7b9a1487cb3 153568 libz3-java_4.8.6-1_amd64.deb
 7d729c8ed327be18dae2c547c40e0677a508c092 179308 libz3-jni-dbgsym_4.8.6-1_amd64.deb
 60667462bea726b5cca1e9c3f9c2f1f026f8c069 32212 libz3-jni_4.8.6-1_amd64.deb
 36088f6bc2cb605219a774e458acf455ea081c47 355684 libz3-ocaml-dev-dbgsym_4.8.6-1_amd64.deb
 f56cb2a0c8494bc97ed2f5282ceccaae6b642093 482044 libz3-ocaml-dev_4.8.6-1_amd64.deb
 3245758b05513be5eb2492c15d21b6f51f716d8a 76376 python3-z3_4.8.6-1_amd64.deb
 8534ea98c3cda57ab1c4691d98798e99b657c4e9 109906504 z3-dbgsym_4.8.6-1_amd64.deb
 84f56ca5b6a74dbfeeb9f01e05ddcd01113e2cb3 13176 z3_4.8.6-1_amd64.buildinfo
 aa9668e86171f1329a615de56c1901ef51b54bc6 6946676 z3_4.8.6-1_amd64.deb
Checksums-Sha256:
 026d3c454ba43a0073e8fd665f65891db4da87294b1c49d9fa06802a255a7200 2659 z3_4.8.6-1.dsc
 37922fa5085170cad6504498d9758fb63c61d5cb5b68689c11a6c5e84f0311b3 4328752 z3_4.8.6.orig.tar.gz
 bc79c658b45b0cc37cedeecd85eedea5c3dfefe0dbfb76affbd0a8ae7acc4345 10776 z3_4.8.6-1.debian.tar.xz
 a742b04f5c86dad36d0c6ac8bb59a4d8717874e4fb1fc45615dc8432c05c7f47 106714708 libz3-4-dbgsym_4.8.6-1_amd64.deb
 a40319f34a97686d520d8db9c3ab7029a9e86074ffac75fba1e1ff6c6a86f6b5 6814300 libz3-4_4.8.6-1_amd64.deb
 a0f808b42b079b0373459fbb97e8f5df5de9b588cd5885339e39eaee2caee7d0 85688 libz3-dev_4.8.6-1_amd64.deb
 65f5999e36b4bc68c1c99a038c0d2e4ac9c1c8363fe4e03bb39a33a558bfc3b3 153568 libz3-java_4.8.6-1_amd64.deb
 449de2579389ce3f79909d2aa04dea62c72dd582ab7ed71fdb4a9b07ebc6edc3 179308 libz3-jni-dbgsym_4.8.6-1_amd64.deb
 77d46f1e1ae5efae8ba6f3530f0db3afc8f8859170e8dd760c181624f6ffcc80 32212 libz3-jni_4.8.6-1_amd64.deb
 a21fa50a75e59d1e0f455dedfc04ab420dd75832c6797b46ea3035281adac2c6 355684 libz3-ocaml-dev-dbgsym_4.8.6-1_amd64.deb
 1041e10fc3a3cb7c226b625598505901afecf62a4860faa66e3dd21218c994e2 482044 libz3-ocaml-dev_4.8.6-1_amd64.deb
 4d400128eab3e844dcc06a246a78f0659eca5f1a13842d73feaa9512658d9030 76376 python3-z3_4.8.6-1_amd64.deb
 6dde9577e52bb29b64c9048c3e1e674ea76cf86ca610bafb8a910cc6194922b5 109906504 z3-dbgsym_4.8.6-1_amd64.deb
 ce3efa0b12e407c734171b1e6164f92f9e86ff56713e7590358b74eab3e8d471 13176 z3_4.8.6-1_amd64.buildinfo
 797053007800f700b92196bc915971059dc425f7626e98685a65ad5d0e27dbdc 6946676 z3_4.8.6-1_amd64.deb
Files:
 6609832edecfec2809eae205611f6cb0 2659 science optional z3_4.8.6-1.dsc
 8b5468f18708351e13851e84eaa8edd4 4328752 science optional z3_4.8.6.orig.tar.gz
 150ed3fa0e8dec7fb7855b32c3f5babf 10776 science optional z3_4.8.6-1.debian.tar.xz
 00ebd4143b4ae65155d079049080a0d4 106714708 debug optional libz3-4-dbgsym_4.8.6-1_amd64.deb
 48c831aac2f8b87c89001b6ab0952ca8 6814300 libs optional libz3-4_4.8.6-1_amd64.deb
 2a6ab1d0179b82a8002badef8f1aef71 85688 libdevel optional libz3-dev_4.8.6-1_amd64.deb
 3499bbb5e8cb3b28177001922701caa0 153568 java optional libz3-java_4.8.6-1_amd64.deb
 1322c889b245a084b80fe35722051ae2 179308 debug optional libz3-jni-dbgsym_4.8.6-1_amd64.deb
 2ef09b920f3b07830ea4007dc836eab7 32212 java optional libz3-jni_4.8.6-1_amd64.deb
 679b03db9f47190c58f4fc438fed527d 355684 debug optional libz3-ocaml-dev-dbgsym_4.8.6-1_amd64.deb
 36ffb02baafe7e55acf63637010c8ec9 482044 ocaml optional libz3-ocaml-dev_4.8.6-1_amd64.deb
 05aff0be5b7b564d112e3c2728520b7d 76376 python optional python3-z3_4.8.6-1_amd64.deb
 f014712b0add11e88f0f0baff13f5401 109906504 debug optional z3-dbgsym_4.8.6-1_amd64.deb
 4305e647a272786329beff6bd4f5b841 13176 science optional z3_4.8.6-1_amd64.buildinfo
 df7503056b7b9920233aa00609700cb3 6946676 science optional z3_4.8.6-1_amd64.deb

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

iQIzBAEBCgAdFiEEkjZVexcMh/iCHArDweDZLphvfH4FAl2RCpgACgkQweDZLphv
fH4jdQ//Z6f+iJ4GVq1pWrodJYYFfrCxS+IH0FDVpqedpS31NX7pb8F3q42Ugsiv
XmK19lLlH1RJihUVP3m24ITorp9PWEizowJ4KOEJdXZAlO3n4QrcGkVaonoC7Mz3
ao3V+R3M9rX3m/2w2k23toM6HaYpLeSSkdR4VWE2ySv66Afo4vOstyLoSdcpvXxr
5py6Ba9fcB052EsLGtLiNIyXVGuhnv+GD8edOlXV3OdEvpjw8JhGYGmlyfzSrNKD
a4yeOoMXh+FXtV2SnHmaNFo2A9p/ZwlfWE5cQsxkdX+R+MKQv/29wv7l6ImcV7FP
wgA7IiRV0eW7jNzfnc2I9uemoQO0B9/JSKlMeeUSwBV7+Fk43hyC2eTDN5nFHLY1
KXkoICIbmGyDMcrr0jlbyLlBMslyU5lBai7TmNYWAm2VdPQY8uU0SPYbJgLS+l25
yoKK6jup2X5UmaM4Lm4JRK1rCIHsg3UiBiaoeB5GUlIDGQgFCGNS2bUEDZpeHKIm
l0ir0gFJtWfPKTsCALjl/6Z8A4pkTh5UHHQ4TItMpxGWna4DrC/I7qhnkNnrZknF
GP56GC/Qdu86eXmHbYdc1MR+CBlJ0/YjZyJkrTLlK8+3fTUful2hoClCNA2IJUrl
covisACXDJTreI/2gaEPrAru+UU4/Gh5FZ/MqEzQFkGL8r82duM=
=Pf4m
-----END PGP SIGNATURE-----

Thank you for your contribution to Debian.