Your message dated Mon, 13 Jan 2020 23:20:52 +0000 with message-id <e1ir90u-0008c0...@fasolo.debian.org> and subject line Bug#948763: fixed in z3 4.8.7-4 has caused the Debian Bug report #948763, regarding cannot migrate to testing to be marked as done.
This means that you claim that the problem has been dealt with. If this is not the case it is now your responsibility to reopen the Bug report if necessary, and/or fix the problem forthwith. (NB: If you are a system administrator and have no idea what this message is talking about, this may indicate a serious mail system misconfiguration somewhere. Please contact ow...@bugs.debian.org immediately.) -- 948763: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=948763 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
--- Begin Message ---Source: z3 Version: 4.8.7-3 Severity: serious z3 cannot be built on buildds, because its Build-Depends cannot be satisfied on buildds. Failing to build on buildds is a serious problem. | Build-Depends: debhelper-compat (= 12), | dh-python:all, python3:native, cmake, dh-python:all is broken. This is why dose-builddebcheck rejects your package. dh-python is Multi-Arch: foreign and does not need any annotation. python3:native is correct in principle. The python ecosystem more commonly uses python3:any though. dh-python parses the Build-Depends and I'm not sure that the dh-python parser understands :native today. I suggest that you prefer :any for python interpreter dependencies in general. | javahelper:all [!hppa !hurd-i386 !m68k !sh4], Just like python:all this is broken. We don't support cross building java stuff yet. If you want to get there, get in touch with debian-cr...@lists.debian.org. This needs more work on the lower layers. If you want to cross build z3 without the java bindings, please use the <!nojava> build profile. | default-jdk:native [!hppa !hurd-i386 !m68k !sh4] This can work, but when you switch the development kit to native, you need to explicitly depend on the runtime environment for the host architecture. That'd be default-jre-headless without :native. Unfortunately, doing so presently produces a conflict. Helmut
--- End Message ---
--- Begin Message ---Source: z3 Source-Version: 4.8.7-4 We believe that the bug you reported is fixed in the latest version of z3, which is due to be installed in the Debian FTP archive. A summary of the changes between this version and the previous one is attached. Thank you for reporting the bug, which will now be closed. If you have further comments please address them to 948...@bugs.debian.org, and the maintainer will reopen the bug report if appropriate. Debian distribution maintenance software pp. Fabian Wolff <fabi.wo...@arcor.de> (supplier of updated z3 package) (This message was generated automatically at their request; if you believe that there is a problem with it please contact the archive administrators by mailing ftpmas...@ftp-master.debian.org) -----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-t...@lists.alioth.debian.org> Changed-By: Fabian Wolff <fabi.wo...@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-----
--- End Message ---
