-----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@lists.alioth.debian.org> Changed-By: Andreas Beckmann <anbe@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-----
