z3_4.8.7-3_source.changes ACCEPTED into unstable

Debian FTP Masters ftpmaster at ftp-master.debian.org
Sun Jan 12 13:22:44 GMT 2020



Accepted:

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

Format: 1.8
Date: Fri, 10 Jan 2020 16:35:48 +0100
Source: z3
Architecture: source
Version: 4.8.7-3
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>
Closes: 948109
Changes:
 z3 (4.8.7-3) unstable; urgency=medium
 .
   * Use the CMake build system instead of upstream's custom Python build
     scripts.
   * Drop libz3-ocaml-dev package (this package is currently broken, can't
     be built with CMake and causes lots of maintenance effort while having
     no reverse dependencies (or users, for that matter, who would have had
     to notice that the package doesn't actually work).
   * Update patches:
     - Drop 00-avoid-ocamlopt.patch (no longer needed since we removed
       OCaml support).
     - Drop 02-hardening.patch (no longer needed because it applies to the
       old build system).
     - Drop 03-kfreebsd.patch (also applies to the old build system).
     - Renumber remaining patches:
       + 01-intrinsics.patch -> 00-intrinsics.patch
       + 05-reproducibility.patch -> 01-reproducibility.patch
       + 04-soname.patch -> 02-soname.patch
         (updated for the CMake build system)
     - Add new 03-pthread.patch (thanks to Aurelien Jarno for this!)
       (Closes: #948109).
   * Build Java bindings on riscv64.
   * Upgrade watch file to version 4 format (no changes).
   * Drop Michael Tautschnig <mt at debian.org> from Uploaders (he hasn't done
     an upload for this package in over four years and never responded to
     any of my emails to him).
Checksums-Sha1:
 fb04f035a55030249917fa8ba700afbf908033f4 2564 z3_4.8.7-3.dsc
 fe819f99396fc83d53b0763b862dbba327e9c05f 9988 z3_4.8.7-3.debian.tar.xz
 1ea862506eb53753bf2909ec3c0530edb8d19143 12909 z3_4.8.7-3_amd64.buildinfo
Checksums-Sha256:
 7958f308af5f726c704a5eeb6f0761e23382af19df29076044085175479a1d30 2564 z3_4.8.7-3.dsc
 ddd4a5c5a3829fc3a4a2f9c56cfef88b8349ac86dc234353492f8312c5197bbb 9988 z3_4.8.7-3.debian.tar.xz
 704f6b66b0762a9ee25cf52201fe99820499d548ad260520dd77d120e2437835 12909 z3_4.8.7-3_amd64.buildinfo
Files:
 c9a65c85b88e9882eb086fe8c6c893e3 2564 science optional z3_4.8.7-3.dsc
 85e34090ca6276323ace7d759145d675 9988 science optional z3_4.8.7-3.debian.tar.xz
 99f90e32d014b88a8c180d5e6398be20 12909 science optional z3_4.8.7-3_amd64.buildinfo

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

iQIzBAEBCgAdFiEEGKeQdgwAi1CfzfenilOItk1pK0kFAl4bF8EACgkQilOItk1p
K0n5Mw//eDr9GJwllYlN/vQFrmpQkve35+C163RCMFXnhI54yTTeKIoVfHo8EM6a
cVOGO4pJk07H51DL9fbLLZPW8JRvsFneGMwOzSVOP/TR3AF6+r5VO4+0lsbjnqXE
e2xn5z6XACBEjcY9EnFp/gm5hStxQ47PADKOdhP1wzVVwnywt0gsH//ktVWjgptk
ml4SMFZs6cWVggf0MVB7cqH0iyBFnt8kqxUg1BbS8iH2vB1Hfs9GDDHiMAVVJLaF
KnIBr/Q9lgWeDzxDoyvwc8jOAi0hX0wPrSboVKftmAcVwHZL5jLWqQBy51CaINR5
8GBwYkbH6KEvuVyHZWw/IZi3Uzw82YNHJhaLmVZ1KbmLS2GUC7dWLeREEdFL3jyq
A1faTvlNcRg8dzkSSf/xpd9TWMaZCentt7ClCdLgzW6uyVyooifLsD9ZPfuqtGqy
XzQvjNdv6aAs2VTWH14Xhwvu5HnCarm1c/y3+oQtBu97mY06qqHivrn/TfmZQQfP
xl7iFYXC8YIKv44hG0HrDF/tbHn9MlE5rtaQBmtiC7aLw6O8Dr2DdwjTKD7wrov8
g/B5SMudhvAu/D4syA6VDoy3ZnyCiOHYjO7tEbTUYaEj3EX7undc8+jmPUddVq44
P9nPwiXS7gZKeTe2k+wd2qqLWxMNwkkh9NOShUGnBPFl6FvV4k0=
=3Njh
-----END PGP SIGNATURE-----


Thank you for your contribution to Debian.



More information about the Pkg-llvm-team mailing list