|
|
Distribution: sid forky trixie
Problems for source package z3
Current Source Version: 4.13.3-1
Current Maintainer: LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org>
Section: main
BTS entry: https://bugs.debian.org/src:z3
BuildDependsPackage declares a build time dependency on default-jdk [!hppa !hurd-any !m68k !sh4] <!nojava> which cannot be satisfied on mips64el. Package z3 does not exist on mips64el.
Package declares a build time dependency on default-jdk [!hppa !hurd-any !m68k !sh4] <!nojava> which cannot be satisfied on armel. Package z3 does not exist on armel.
Package declares a build time dependency on dh-sequence-javahelper [!hppa !hurd-any !m68k !sh4] <!nojava> which cannot be satisfied on mips64el. Package z3 does not exist on mips64el.
Package declares a build time dependency on dh-sequence-javahelper [!hppa !hurd-any !m68k !sh4] <!nojava> which cannot be satisfied on armel. Package z3 does not exist on armel.
Package declares a build time dependency on cmake which cannot be satisfied on mips64el. Package z3 does not exist on mips64el.
Package declares a build time dependency on cmake which cannot be satisfied on armel. Package z3 does not exist on armel.
Package declares a build time dependency on python3-setuptools which cannot be satisfied on mips64el. Package z3 does not exist on mips64el.
Package declares a build time dependency on python3-setuptools which cannot be satisfied on armel. Package z3 does not exist on armel.
Package declares a build time dependency on debhelper-compat (= 13) which cannot be satisfied on mips64el. Package z3 does not exist on mips64el.
Package declares a build time dependency on debhelper-compat (= 13) which cannot be satisfied on armel. Package z3 does not exist on armel.
Package declares a build time dependency on dh-sequence-python3 <!nopython> which cannot be satisfied on mips64el. Package z3 does not exist on mips64el.
Package declares a build time dependency on dh-sequence-python3 <!nopython> which cannot be satisfied on armel. Package z3 does not exist on armel.
Package declares a build time dependency on libsimde-dev which cannot be satisfied on mips64el. Package z3 does not exist on mips64el.
Package declares a build time dependency on libsimde-dev which cannot be satisfied on armel. Package z3 does not exist on armel.
Malformed Build-DependsPackage declares a build time dependency on 'python3:any' which is broken Syntax.
Last updated: Mon Dec 8 15:25:02 2025
|
