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
