z3_4.8.7-3_source.changes ACCEPTED into unstable

[Sylvestre Ledru]

Bravo for the work!

thanks!

S


Le 12/01/2020 à 14:22, Debian FTP Masters a écrit :
> 
> 
> 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.
> 
> _______________________________________________
> Pkg-llvm-team mailing list
> Pkg-llvm-team at alioth-lists.debian.net
> https://alioth-lists.debian.net/cgi-bin/mailman/listinfo/pkg-llvm-team
>