Problems for source package frama-c

BuildDepends

Package declares a build time dependency on graphviz which cannot be satisfied on ppc64el. Package frama-c does not exist on ppc64el.
Package declares a build time dependency on graphviz which cannot be satisfied on mips64el. Package frama-c does not exist on mips64el.
Package declares a build time dependency on graphviz which cannot be satisfied on s390x. Package frama-c does not exist on s390x.
Package declares a build time dependency on graphviz which cannot be satisfied on armel. Package frama-c does not exist on armel.
Package declares a build time dependency on graphviz which cannot be satisfied on mips. Package frama-c does not exist on mips.
Package declares a build time dependency on graphviz which cannot be satisfied on mipsel. Package frama-c does not exist on mipsel.
Package declares a build time dependency on libfindlib-ocaml-dev which cannot be satisfied on ppc64el. Package frama-c does not exist on ppc64el.
Package declares a build time dependency on libfindlib-ocaml-dev which cannot be satisfied on mips64el. Package frama-c does not exist on mips64el.
Package declares a build time dependency on libfindlib-ocaml-dev which cannot be satisfied on s390x. Package frama-c does not exist on s390x.
Package declares a build time dependency on libfindlib-ocaml-dev which cannot be satisfied on armel. Package frama-c does not exist on armel.
Package declares a build time dependency on libfindlib-ocaml-dev which cannot be satisfied on mips. Package frama-c does not exist on mips.
Package declares a build time dependency on libfindlib-ocaml-dev which cannot be satisfied on mipsel. Package frama-c does not exist on mipsel.
Package declares a build time dependency on autoconf which cannot be satisfied on mips64el. Package frama-c does not exist on mips64el.
Package declares a build time dependency on autoconf which cannot be satisfied on ppc64el. Package frama-c does not exist on ppc64el.
Package declares a build time dependency on autoconf which cannot be satisfied on mips. Package frama-c does not exist on mips.
Package declares a build time dependency on autoconf which cannot be satisfied on mipsel. Package frama-c does not exist on mipsel.
Package declares a build time dependency on autoconf which cannot be satisfied on armel. Package frama-c does not exist on armel.
Package declares a build time dependency on autoconf which cannot be satisfied on s390x. Package frama-c does not exist on s390x.
Package declares a build time dependency on ocaml-nox (>= 3.12.0~) which cannot be satisfied on s390x. Package frama-c does not exist on s390x.
Package declares a build time dependency on ocaml-nox (>= 3.12.0~) which cannot be satisfied on armel. Package frama-c does not exist on armel.
Package declares a build time dependency on ocaml-nox (>= 3.12.0~) which cannot be satisfied on mips. Package frama-c does not exist on mips.
Package declares a build time dependency on ocaml-nox (>= 3.12.0~) which cannot be satisfied on mipsel. Package frama-c does not exist on mipsel.
Package declares a build time dependency on ocaml-nox (>= 3.12.0~) which cannot be satisfied on ppc64el. Package frama-c does not exist on ppc64el.
Package declares a build time dependency on ocaml-nox (>= 3.12.0~) which cannot be satisfied on mips64el. Package frama-c does not exist on mips64el.
Package declares a build time dependency on dh-ocaml (>= 0.9~) which cannot be satisfied on mips64el. Package frama-c does not exist on mips64el.
Package declares a build time dependency on dh-ocaml (>= 0.9~) which cannot be satisfied on ppc64el. Package frama-c does not exist on ppc64el.
Package declares a build time dependency on dh-ocaml (>= 0.9~) which cannot be satisfied on armel. Package frama-c does not exist on armel.
Package declares a build time dependency on dh-ocaml (>= 0.9~) which cannot be satisfied on s390x. Package frama-c does not exist on s390x.
Package declares a build time dependency on dh-ocaml (>= 0.9~) which cannot be satisfied on mips. Package frama-c does not exist on mips.
Package declares a build time dependency on dh-ocaml (>= 0.9~) which cannot be satisfied on mipsel. Package frama-c does not exist on mipsel.
Package declares a build time dependency on ocaml-findlib which cannot be satisfied on armel. Package frama-c does not exist on armel.
Package declares a build time dependency on ocaml-findlib which cannot be satisfied on s390x. Package frama-c does not exist on s390x.
Package declares a build time dependency on ocaml-findlib which cannot be satisfied on mipsel. Package frama-c does not exist on mipsel.
Package declares a build time dependency on ocaml-findlib which cannot be satisfied on mips. Package frama-c does not exist on mips.
Package declares a build time dependency on ocaml-findlib which cannot be satisfied on mips64el. Package frama-c does not exist on mips64el.
Package declares a build time dependency on ocaml-findlib which cannot be satisfied on ppc64el. Package frama-c does not exist on ppc64el.
Package declares a build time dependency on libzarith-ocaml-dev which cannot be satisfied on s390x. Package frama-c does not exist on s390x.
Package declares a build time dependency on libzarith-ocaml-dev which cannot be satisfied on armel. Package frama-c does not exist on armel.
Package declares a build time dependency on libzarith-ocaml-dev which cannot be satisfied on mipsel. Package frama-c does not exist on mipsel.
Package declares a build time dependency on libzarith-ocaml-dev which cannot be satisfied on mips. Package frama-c does not exist on mips.
Package declares a build time dependency on libzarith-ocaml-dev which cannot be satisfied on ppc64el. Package frama-c does not exist on ppc64el.
Package declares a build time dependency on libzarith-ocaml-dev which cannot be satisfied on mips64el. Package frama-c does not exist on mips64el.
Package declares a build time dependency on ocaml-best-compilers which cannot be satisfied on mipsel. Package frama-c does not exist on mipsel.
Package declares a build time dependency on ocaml-best-compilers which cannot be satisfied on mips. Package frama-c does not exist on mips.
Package declares a build time dependency on ocaml-best-compilers which cannot be satisfied on armel. Package frama-c does not exist on armel.
Package declares a build time dependency on ocaml-best-compilers which cannot be satisfied on s390x. Package frama-c does not exist on s390x.
Package declares a build time dependency on ocaml-best-compilers which cannot be satisfied on mips64el. Package frama-c does not exist on mips64el.
Package declares a build time dependency on ocaml-best-compilers which cannot be satisfied on ppc64el. Package frama-c does not exist on ppc64el.
Package declares a build time dependency on libocamlgraph-ocaml-dev (>> 1.8.5~) which cannot be satisfied on ppc64el. Package frama-c does not exist on ppc64el.
Package declares a build time dependency on libocamlgraph-ocaml-dev (>> 1.8.5~) which cannot be satisfied on mips64el. Package frama-c does not exist on mips64el.
Package declares a build time dependency on libocamlgraph-ocaml-dev (>> 1.8.5~) which cannot be satisfied on s390x. Package frama-c does not exist on s390x.
Package declares a build time dependency on libocamlgraph-ocaml-dev (>> 1.8.5~) which cannot be satisfied on armel. Package frama-c does not exist on armel.
Package declares a build time dependency on libocamlgraph-ocaml-dev (>> 1.8.5~) which cannot be satisfied on mipsel. Package frama-c does not exist on mipsel.
Package declares a build time dependency on libocamlgraph-ocaml-dev (>> 1.8.5~) which cannot be satisfied on mips. Package frama-c does not exist on mips.
Package declares a build time dependency on debhelper (>= 7.0.50~) which cannot be satisfied on ppc64el. Package frama-c does not exist on ppc64el.
Package declares a build time dependency on debhelper (>= 7.0.50~) which cannot be satisfied on mips64el. Package frama-c does not exist on mips64el.
Package declares a build time dependency on debhelper (>= 7.0.50~) which cannot be satisfied on s390x. Package frama-c does not exist on s390x.
Package declares a build time dependency on debhelper (>= 7.0.50~) which cannot be satisfied on armel. Package frama-c does not exist on armel.
Package declares a build time dependency on debhelper (>= 7.0.50~) which cannot be satisfied on mips. Package frama-c does not exist on mips.
Package declares a build time dependency on debhelper (>= 7.0.50~) which cannot be satisfied on mipsel. Package frama-c does not exist on mipsel.

Binary Package: frama-c-base (Version: 20171101+sulfur+dfsg-2)

Relationships

Package has a Recommends on alt-ergo which cannot be satisfied on armhf.