Back to z3 PTS page

Accepted z3 4.8.7-4 (source) into unstable



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

Format: 1.8
Date: Mon, 13 Jan 2020 22:55:52 +0100
Source: z3
Architecture: source
Version: 4.8.7-4
Distribution: unstable
Urgency: medium
Maintainer: LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org>
Changed-By: Fabian Wolff <fabi.wolff@arcor.de>
Closes: 948763
Changes:
 z3 (4.8.7-4) unstable; urgency=medium
 .
   * Remove all :all and :native annotations from the build dependencies in
     debian/control (Closes: #948763).
Checksums-Sha1:
 fda15b4cb8c96fc05bae9815c1b9172b27f6b5a5 2545 z3_4.8.7-4.dsc
 236b748b34905138dbb5ca2462a1b915cf9ce784 10008 z3_4.8.7-4.debian.tar.xz
 82b3e4647ed6a3f1bc3a35ed776a9e910f982981 12909 z3_4.8.7-4_amd64.buildinfo
Checksums-Sha256:
 d8e4880a01c5a5b4f566e41aab794bbee785120aa112ab3a673d1034fde77c2e 2545 z3_4.8.7-4.dsc
 ce9f3960b1ac480dc0e3ca5a54e9d6d8de32efd6b62f9e6114e927bb5da4b7cc 10008 z3_4.8.7-4.debian.tar.xz
 a51c66982a953fb1e42a40334754082698f844487f84a218962aa70b2d191d96 12909 z3_4.8.7-4_amd64.buildinfo
Files:
 445d279b6226524822998d6b6c143c58 2545 science optional z3_4.8.7-4.dsc
 869a74f13349dfcb4c89b49fe48b639e 10008 science optional z3_4.8.7-4.debian.tar.xz
 8045b623d23d4220999d975204229e36 12909 science optional z3_4.8.7-4_amd64.buildinfo

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

iQIzBAEBCgAdFiEEGKeQdgwAi1CfzfenilOItk1pK0kFAl4c92IACgkQilOItk1p
K0lFZA//d0SYhYAy6dKutXSDU1XtCvlokgkT5/A38kdscgVVnDPzG9VW7TazqPfT
fX25smXV13twvSCQ6PpQi/yBNu/IIXg70XWePBClFcS+q164EbDVg8kkCogJcQsp
SjL43h0odaJv6qg2syqiccukvKMgPAinY9rW27KOd11BZV8Y8Y5xUYgkr4oKPHNn
dVlrsFUyUtmYILMGor35E1X1oP0ZDIpKCicjdWVJd/ytlN74XHToE6gX6yPX/hj3
T4uHCZbP8hu8tkLhhMg7XdrWFX9ido1M1WaFkLGk1NFHI/LMT6EK6m14dQ24TVkL
hfO4Rl/Me0o34QwVGIXt1GbHuXrXaiV+oqRhhe9tbljqO8zRU4+vMC3GIacrSohx
Woxg56K7dZx03l7dzgQyqBnItI6y5tXS4fYmXv6DVmDAa5PwxCUoIQxOwe9DOjjd
3MQxBF4pzLGFObWM9OxryI8M3VMhq04HWXMu5X6uZ3pffiabQhjpCgXJxiaBUWqG
6VX2l+//AIHsb3wd/bQtwc+7Yjh/HCA2335TyOo9Z3d0/MgHjL5hv2bd2N3gv26/
A2xzo5mimh9CFVvagVVsa8Nth+ZC6oP2eWihcPc5EjKuoEeyclbkbIyy8j6uj1Vk
lfyEM+EcM8MRo1DIWhz7BBFuQFZmMUCoaHOZPmPAaekGIptaO1U=
=XjAO
-----END PGP SIGNATURE-----