Problems for source package z3

BuildDepends

Package declares a build time dependency on dh-ocaml which cannot be satisfied on s390x. Package z3 does not exist on s390x.
Package declares a build time dependency on dh-ocaml which cannot be satisfied on ppc64el. Package z3 does not exist on ppc64el.
Package declares a build time dependency on dh-ocaml which cannot be satisfied on armel. Package z3 does not exist on armel.
Package declares a build time dependency on dh-ocaml which cannot be satisfied on mipsel. Package z3 does not exist on mipsel.
Package declares a build time dependency on dh-ocaml which cannot be satisfied on mips64el. Package z3 does not exist on mips64el.
Package declares a build time dependency on dh-ocaml which cannot be satisfied on mips. Package z3 does not exist on mips.
Package declares a build time dependency on javahelper [!hppa !hurd-i386 !m68k !sh4] which cannot be satisfied on mips64el. Package z3 does not exist on mips64el.
Package declares a build time dependency on javahelper [!hppa !hurd-i386 !m68k !sh4] which cannot be satisfied on mips. Package z3 does not exist on mips.
Package declares a build time dependency on javahelper [!hppa !hurd-i386 !m68k !sh4] which cannot be satisfied on mipsel. Package z3 does not exist on mipsel.
Package declares a build time dependency on javahelper [!hppa !hurd-i386 !m68k !sh4] which cannot be satisfied on ppc64el. Package z3 does not exist on ppc64el.
Package declares a build time dependency on javahelper [!hppa !hurd-i386 !m68k !sh4] which cannot be satisfied on armel. Package z3 does not exist on armel.
Package declares a build time dependency on javahelper [!hppa !hurd-i386 !m68k !sh4] which cannot be satisfied on s390x. Package z3 does not exist on s390x.
Package declares a build time dependency on debhelper (>= 9) which cannot be satisfied on mipsel. Package z3 does not exist on mipsel.
Package declares a build time dependency on debhelper (>= 9) which cannot be satisfied on mips. Package z3 does not exist on mips.
Package declares a build time dependency on debhelper (>= 9) which cannot be satisfied on mips64el. Package z3 does not exist on mips64el.
Package declares a build time dependency on debhelper (>= 9) which cannot be satisfied on s390x. Package z3 does not exist on s390x.
Package declares a build time dependency on debhelper (>= 9) which cannot be satisfied on ppc64el. Package z3 does not exist on ppc64el.
Package declares a build time dependency on debhelper (>= 9) which cannot be satisfied on armel. Package z3 does not exist on armel.
Package declares a build time dependency on dh-python which cannot be satisfied on s390x. Package z3 does not exist on s390x.
Package declares a build time dependency on dh-python which cannot be satisfied on ppc64el. Package z3 does not exist on ppc64el.
Package declares a build time dependency on dh-python which cannot be satisfied on armel. Package z3 does not exist on armel.
Package declares a build time dependency on dh-python which cannot be satisfied on mipsel. Package z3 does not exist on mipsel.
Package declares a build time dependency on dh-python which cannot be satisfied on mips64el. Package z3 does not exist on mips64el.
Package declares a build time dependency on dh-python which cannot be satisfied on mips. Package z3 does not exist on mips.
Package declares a build time dependency on python which cannot be satisfied on armel. Package z3 does not exist on armel.
Package declares a build time dependency on python which cannot be satisfied on ppc64el. Package z3 does not exist on ppc64el.
Package declares a build time dependency on python which cannot be satisfied on s390x. Package z3 does not exist on s390x.
Package declares a build time dependency on python which cannot be satisfied on mips64el. Package z3 does not exist on mips64el.
Package declares a build time dependency on python which cannot be satisfied on mips. Package z3 does not exist on mips.
Package declares a build time dependency on python which cannot be satisfied on mipsel. Package z3 does not exist on mipsel.
Package declares a build time dependency on default-jdk [!hppa !hurd-i386 !m68k !sh4] which cannot be satisfied on ppc64el. Package z3 does not exist on ppc64el.
Package declares a build time dependency on default-jdk [!hppa !hurd-i386 !m68k !sh4] which cannot be satisfied on armel. Package z3 does not exist on armel.
Package declares a build time dependency on default-jdk [!hppa !hurd-i386 !m68k !sh4] which cannot be satisfied on s390x. Package z3 does not exist on s390x.
Package declares a build time dependency on default-jdk [!hppa !hurd-i386 !m68k !sh4] which cannot be satisfied on mips. Package z3 does not exist on mips.
Package declares a build time dependency on default-jdk [!hppa !hurd-i386 !m68k !sh4] which cannot be satisfied on mips64el. Package z3 does not exist on mips64el.
Package declares a build time dependency on default-jdk [!hppa !hurd-i386 !m68k !sh4] which cannot be satisfied on mipsel. Package z3 does not exist on mipsel.
Package declares a build time dependency on ocaml-nox which cannot be satisfied on mips. Package z3 does not exist on mips.
Package declares a build time dependency on ocaml-nox which cannot be satisfied on mips64el. Package z3 does not exist on mips64el.
Package declares a build time dependency on ocaml-nox which cannot be satisfied on mipsel. Package z3 does not exist on mipsel.
Package declares a build time dependency on ocaml-nox which cannot be satisfied on armel. Package z3 does not exist on armel.
Package declares a build time dependency on ocaml-nox which cannot be satisfied on ppc64el. Package z3 does not exist on ppc64el.
Package declares a build time dependency on ocaml-nox which cannot be satisfied on s390x. Package z3 does not exist on s390x.
Package declares a build time dependency on libmono-system-numerics4.0-cil [!mips !mips64el !powerpc !alpha !hppa !hurd-i386 !m68k !powerpcspe !ppc64 !sh4 !sparc64 !x32] which cannot be satisfied on mipsel. Package z3 does not exist on mipsel.
Package declares a build time dependency on libmono-system-numerics4.0-cil [!mips !mips64el !powerpc !alpha !hppa !hurd-i386 !m68k !powerpcspe !ppc64 !sh4 !sparc64 !x32] which cannot be satisfied on s390x. Package z3 does not exist on s390x.
Package declares a build time dependency on libmono-system-numerics4.0-cil [!mips !mips64el !powerpc !alpha !hppa !hurd-i386 !m68k !powerpcspe !ppc64 !sh4 !sparc64 !x32] which cannot be satisfied on armel. Package z3 does not exist on armel.
Package declares a build time dependency on libmono-system-numerics4.0-cil [!mips !mips64el !powerpc !alpha !hppa !hurd-i386 !m68k !powerpcspe !ppc64 !sh4 !sparc64 !x32] which cannot be satisfied on ppc64el. Package z3 does not exist on ppc64el.
Package declares a build time dependency on mono-mcs [!mips !mips64el !powerpc !alpha !hppa !hurd-i386 !m68k !powerpcspe !ppc64 !sh4 !sparc64 !x32] which cannot be satisfied on armel. Package z3 does not exist on armel.
Package declares a build time dependency on mono-mcs [!mips !mips64el !powerpc !alpha !hppa !hurd-i386 !m68k !powerpcspe !ppc64 !sh4 !sparc64 !x32] which cannot be satisfied on ppc64el. Package z3 does not exist on ppc64el.
Package declares a build time dependency on mono-mcs [!mips !mips64el !powerpc !alpha !hppa !hurd-i386 !m68k !powerpcspe !ppc64 !sh4 !sparc64 !x32] which cannot be satisfied on s390x. Package z3 does not exist on s390x.
Package declares a build time dependency on mono-mcs [!mips !mips64el !powerpc !alpha !hppa !hurd-i386 !m68k !powerpcspe !ppc64 !sh4 !sparc64 !x32] which cannot be satisfied on mipsel. Package z3 does not exist on mipsel.
Package declares a build time dependency on cli-common-dev [!mips !mips64el !powerpc !alpha !hppa !hurd-i386 !m68k !powerpcspe !ppc64 !sh4 !sparc64 !x32] which cannot be satisfied on s390x. Package z3 does not exist on s390x.
Package declares a build time dependency on cli-common-dev [!mips !mips64el !powerpc !alpha !hppa !hurd-i386 !m68k !powerpcspe !ppc64 !sh4 !sparc64 !x32] which cannot be satisfied on mipsel. Package z3 does not exist on mipsel.
Package declares a build time dependency on cli-common-dev [!mips !mips64el !powerpc !alpha !hppa !hurd-i386 !m68k !powerpcspe !ppc64 !sh4 !sparc64 !x32] which cannot be satisfied on ppc64el. Package z3 does not exist on ppc64el.
Package declares a build time dependency on cli-common-dev [!mips !mips64el !powerpc !alpha !hppa !hurd-i386 !m68k !powerpcspe !ppc64 !sh4 !sparc64 !x32] which cannot be satisfied on armel. Package z3 does not exist on armel.