-----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@lists.alioth.debian.org> Changed-By: Fabian Wolff <fabi.wolff@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-----