Problems for source package cbmc

BuildDepends

Package declares a build time dependency on default-jdk-headless [!arc !hppa !hurd-i386 !kfreebsd-amd64 !kfreebsd-i386 !loong64] which cannot be satisfied on mips64el. Package cbmc does not exist on mips64el.
Package declares a build time dependency on default-jdk-headless [!arc !hppa !hurd-i386 !kfreebsd-amd64 !kfreebsd-i386 !loong64] 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 armel. Package cbmc does not exist on armel.
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 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 mips64el. Package cbmc does not exist on mips64el.
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 armel. Package cbmc does not exist on armel.
Package declares a build time dependency on libxml2-utils which cannot be satisfied on mips64el. Package cbmc does not exist on mips64el.
Package declares a build time dependency on libxml2-utils which cannot be satisfied on armel. Package cbmc does not exist on armel.
Package declares a build time dependency on z3 [!sh4] which cannot be satisfied on mips64el. Package cbmc does not exist on mips64el.
Package declares a build time dependency on z3 [!sh4] which cannot be satisfied on armel. Package cbmc does not exist on armel.
Package declares a build time dependency on python-is-python3 which cannot be satisfied on mips64el. Package cbmc does not exist on mips64el.
Package declares a build time dependency on python-is-python3 which cannot be satisfied on armel. Package cbmc does not exist on armel.
Package declares a build time dependency on libmaven-resources-plugin-java [!arc !hppa !hurd-i386 !kfreebsd-amd64 !kfreebsd-i386 !loong64] which cannot be satisfied on mips64el. Package cbmc does not exist on mips64el.
Package declares a build time dependency on libmaven-resources-plugin-java [!arc !hppa !hurd-i386 !kfreebsd-amd64 !kfreebsd-i386 !loong64] 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 armel. Package cbmc does not exist on armel.
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 maven-debian-helper [!arc !hppa !hurd-i386 !kfreebsd-amd64 !kfreebsd-i386 !loong64] which cannot be satisfied on armel. Package cbmc does not exist on armel.
Package declares a build time dependency on maven-debian-helper [!arc !hppa !hurd-i386 !kfreebsd-amd64 !kfreebsd-i386 !loong64] which cannot be satisfied on mips64el. Package cbmc does not exist on mips64el.
Package declares a build time dependency on libmaven-install-plugin-java [!arc !hppa !hurd-i386 !kfreebsd-amd64 !kfreebsd-i386 !loong64] which cannot be satisfied on armel. Package cbmc does not exist on armel.
Package declares a build time dependency on libmaven-install-plugin-java [!arc !hppa !hurd-i386 !kfreebsd-amd64 !kfreebsd-i386 !loong64] which cannot be satisfied on mips64el. Package cbmc does not exist on mips64el.
Package declares a build time dependency on libmaven-dependency-plugin-java [!arc !hppa !hurd-i386 !kfreebsd-amd64 !kfreebsd-i386 !loong64] which cannot be satisfied on mips64el. Package cbmc does not exist on mips64el.
Package declares a build time dependency on libmaven-dependency-plugin-java [!arc !hppa !hurd-i386 !kfreebsd-amd64 !kfreebsd-i386 !loong64] which cannot be satisfied on armel. Package cbmc does not exist on armel.
Package declares a build time dependency on debhelper-compat (= 13) which cannot be satisfied on armel. Package cbmc does not exist on armel.
Package declares a build time dependency on debhelper-compat (= 13) which cannot be satisfied on mips64el. Package cbmc does not exist on mips64el.