Problems for source package hol-light

BuildDepends

Package declares a build time dependency on libzarith-ocaml-dev which cannot be satisfied on mips64el. Package hol-light does not exist on mips64el.
Package declares a build time dependency on libcamlp-streams-ocaml-dev which cannot be satisfied on mips64el. Package hol-light does not exist on mips64el.
Package declares a build time dependency on libnum-ocaml-dev which cannot be satisfied on mips64el. Package hol-light does not exist on mips64el.
Package declares a build time dependency on dh-ocaml which cannot be satisfied on mips64el. Package hol-light does not exist on mips64el.
Package declares a build time dependency on ocaml-findlib which cannot be satisfied on mips64el. Package hol-light does not exist on mips64el.
Package declares a build time dependency on camlp5 (>= 8.02) which cannot be satisfied on mips64el. Package hol-light does not exist on mips64el.
Package declares a build time dependency on debhelper-compat (= 13) which cannot be satisfied on mips64el. Package hol-light does not exist on mips64el.

Binary Package: hol-light (Version: 1:3.0.0-2+b7)

Relationships

Package has a Suggests on python which cannot be satisfied on riscv64.
Package has a Suggests on python which cannot be satisfied on i386.
Package has a Suggests on python which cannot be satisfied on armhf.
Package has a Suggests on python which cannot be satisfied on amd64.
Package has a Suggests on python which cannot be satisfied on armel.
Package has a Suggests on python which cannot be satisfied on arm64.
Package has a Suggests on python which cannot be satisfied on s390x.
Package has a Suggests on python which cannot be satisfied on ppc64el.
Package has a Suggests on prover9 which cannot be satisfied on s390x.
Package has a Suggests on prover9 which cannot be satisfied on arm64.
Package has a Suggests on prover9 which cannot be satisfied on armel.
Package has a Suggests on prover9 which cannot be satisfied on ppc64el.
Package has a Suggests on prover9 which cannot be satisfied on riscv64.
Package has a Suggests on prover9 which cannot be satisfied on armhf.
Package has a Suggests on prover9 which cannot be satisfied on amd64.
Package has a Suggests on prover9 which cannot be satisfied on i386.
Package has a Suggests on dmtcp which cannot be satisfied on riscv64.
Package has a Suggests on dmtcp which cannot be satisfied on i386.
Package has a Suggests on dmtcp which cannot be satisfied on amd64.
Package has a Suggests on dmtcp which cannot be satisfied on armhf.
Package has a Suggests on dmtcp which cannot be satisfied on armel.
Package has a Suggests on dmtcp which cannot be satisfied on s390x.
Package has a Suggests on dmtcp which cannot be satisfied on arm64.
Package has a Suggests on dmtcp which cannot be satisfied on ppc64el.