Problems for source package cbmc

BuildDepends

Package declares a build time dependency on maven-debian-helper which cannot be satisfied on s390x. Package cbmc does not exist on s390x.
Package declares a build time dependency on maven-debian-helper which cannot be satisfied on mips. Package cbmc does not exist on mips.
Package declares a build time dependency on maven-debian-helper which cannot be satisfied on mips64el. Package cbmc does not exist on mips64el.
Package declares a build time dependency on maven-debian-helper which cannot be satisfied on ppc64el. Package cbmc does not exist on ppc64el.
Package declares a build time dependency on maven-debian-helper which cannot be satisfied on mipsel. Package cbmc does not exist on mipsel.
Package declares a build time dependency on maven-debian-helper which cannot be satisfied on armel. Package cbmc does not exist on armel.
Package declares a build time dependency on maven-repo-helper which cannot be satisfied on ppc64el. Package cbmc does not exist on ppc64el.
Package declares a build time dependency on maven-repo-helper which cannot be satisfied on mips64el. Package cbmc does not exist on mips64el.
Package declares a build time dependency on maven-repo-helper which cannot be satisfied on armel. Package cbmc does not exist on armel.
Package declares a build time dependency on maven-repo-helper which cannot be satisfied on mipsel. Package cbmc does not exist on mipsel.
Package declares a build time dependency on maven-repo-helper which cannot be satisfied on s390x. Package cbmc does not exist on s390x.
Package declares a build time dependency on maven-repo-helper which cannot be satisfied on mips. Package cbmc does not exist on mips.
Package declares a build time dependency on flex which cannot be satisfied on mips. Package cbmc does not exist on mips.
Package declares a build time dependency on flex which cannot be satisfied on s390x. Package cbmc does not exist on s390x.
Package declares a build time dependency on flex which cannot be satisfied on armel. Package cbmc does not exist on armel.
Package declares a build time dependency on flex which cannot be satisfied on mipsel. Package cbmc does not exist on mipsel.
Package declares a build time dependency on flex which cannot be satisfied on ppc64el. Package cbmc does not exist on ppc64el.
Package declares a build time dependency on flex which cannot be satisfied on mips64el. Package cbmc does not exist on mips64el.
Package declares a build time dependency on bison which cannot be satisfied on ppc64el. Package cbmc does not exist on ppc64el.
Package declares a build time dependency on bison which cannot be satisfied on mips64el. Package cbmc does not exist on mips64el.
Package declares a build time dependency on bison which cannot be satisfied on mipsel. Package cbmc does not exist on mipsel.
Package declares a build time dependency on bison which cannot be satisfied on armel. Package cbmc does not exist on armel.
Package declares a build time dependency on bison which cannot be satisfied on s390x. Package cbmc does not exist on s390x.
Package declares a build time dependency on bison which cannot be satisfied on mips. Package cbmc does not exist on mips.
Package declares a build time dependency on maven which cannot be satisfied on ppc64el. Package cbmc does not exist on ppc64el.
Package declares a build time dependency on maven which cannot be satisfied on mips64el. Package cbmc does not exist on mips64el.
Package declares a build time dependency on maven which cannot be satisfied on mipsel. Package cbmc does not exist on mipsel.
Package declares a build time dependency on maven which cannot be satisfied on armel. Package cbmc does not exist on armel.
Package declares a build time dependency on maven which cannot be satisfied on s390x. Package cbmc does not exist on s390x.
Package declares a build time dependency on maven which cannot be satisfied on mips. Package cbmc does not exist on mips.
Package declares a build time dependency on zlib1g-dev which cannot be satisfied on s390x. Package cbmc does not exist on s390x.
Package declares a build time dependency on zlib1g-dev which cannot be satisfied on mips. Package cbmc does not exist on mips.
Package declares a build time dependency on zlib1g-dev which cannot be satisfied on ppc64el. Package cbmc does not exist on ppc64el.
Package declares a build time dependency on zlib1g-dev which cannot be satisfied on mips64el. Package cbmc does not exist on mips64el.
Package declares a build time dependency on zlib1g-dev which cannot be satisfied on mipsel. Package cbmc does not exist on mipsel.
Package declares a build time dependency on zlib1g-dev which cannot be satisfied on armel. Package cbmc does not exist on armel.
Package declares a build time dependency on default-jdk-headless which cannot be satisfied on mipsel. Package cbmc does not exist on mipsel.
Package declares a build time dependency on default-jdk-headless which cannot be satisfied on armel. Package cbmc does not exist on armel.
Package declares a build time dependency on default-jdk-headless which cannot be satisfied on mips64el. Package cbmc does not exist on mips64el.
Package declares a build time dependency on default-jdk-headless which cannot be satisfied on ppc64el. Package cbmc does not exist on ppc64el.
Package declares a build time dependency on default-jdk-headless which cannot be satisfied on mips. Package cbmc does not exist on mips.
Package declares a build time dependency on default-jdk-headless which cannot be satisfied on s390x. Package cbmc does not exist on s390x.
Package declares a build time dependency on libmaven-compiler-plugin-java which cannot be satisfied on mips. Package cbmc does not exist on mips.
Package declares a build time dependency on libmaven-compiler-plugin-java which cannot be satisfied on s390x. Package cbmc does not exist on s390x.
Package declares a build time dependency on libmaven-compiler-plugin-java which cannot be satisfied on armel. Package cbmc does not exist on armel.
Package declares a build time dependency on libmaven-compiler-plugin-java which cannot be satisfied on mipsel. Package cbmc does not exist on mipsel.
Package declares a build time dependency on libmaven-compiler-plugin-java which cannot be satisfied on mips64el. Package cbmc does not exist on mips64el.
Package declares a build time dependency on libmaven-compiler-plugin-java which cannot be satisfied on ppc64el. Package cbmc does not exist on ppc64el.
Package declares a build time dependency on debhelper (>= 10) which cannot be satisfied on s390x. Package cbmc does not exist on s390x.
Package declares a build time dependency on debhelper (>= 10) which cannot be satisfied on mips. Package cbmc does not exist on mips.
Package declares a build time dependency on debhelper (>= 10) which cannot be satisfied on mipsel. Package cbmc does not exist on mipsel.
Package declares a build time dependency on debhelper (>= 10) which cannot be satisfied on armel. Package cbmc does not exist on armel.
Package declares a build time dependency on debhelper (>= 10) which cannot be satisfied on mips64el. Package cbmc does not exist on mips64el.
Package declares a build time dependency on debhelper (>= 10) which cannot be satisfied on ppc64el. Package cbmc does not exist on ppc64el.
Package declares a build time dependency on minisat (>= 1:2.2.1-2) which cannot be satisfied on mips. Package cbmc does not exist on mips.
Package declares a build time dependency on minisat (>= 1:2.2.1-2) which cannot be satisfied on s390x. Package cbmc does not exist on s390x.
Package declares a build time dependency on minisat (>= 1:2.2.1-2) which cannot be satisfied on armel. Package cbmc does not exist on armel.
Package declares a build time dependency on minisat (>= 1:2.2.1-2) which cannot be satisfied on mipsel. Package cbmc does not exist on mipsel.
Package declares a build time dependency on minisat (>= 1:2.2.1-2) which cannot be satisfied on ppc64el. Package cbmc does not exist on ppc64el.
Package declares a build time dependency on minisat (>= 1:2.2.1-2) which cannot be satisfied on mips64el. Package cbmc does not exist on mips64el.