-----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-----