Accepted z3 4.8.7-3 (source) into unstable

Fabian Wolff Sun, 12 Jan 2020 05:23:53 -0800
-----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-t...@lists.alioth.debian.org>
Changed-By: Fabian Wolff <fabi.wo...@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 <m...@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
Accepted z3 4.8.7-3 (source) into unstable

Reply via email to
