Problems for source package aac-tactics

Binary Package: libaac-tactics-ocaml-dev (Version: 8.8.0+1.gbp069dc3b-1+b1)

Relationships

Package has a Depends on camlp5-qa6e3 which cannot be satisfied on armhf.
Package has a Depends on libcoq-ocaml-dev-6cvm3 which cannot be satisfied on armel.
Package has a Depends on libcoq-ocaml-dev-6cvm3 which cannot be satisfied on mipsel.
Package has a Depends on libcoq-ocaml-dev-6cvm3 which cannot be satisfied on mips64el.
Package has a Depends on libcoq-ocaml-dev-dn6z9 which cannot be satisfied on s390x.
Package has a Depends on libcoq-ocaml-dev-au5i8 which cannot be satisfied on amd64.
Package has a Depends on libcoq-ocaml-dev-xegf5 which cannot be satisfied on arm64.
Package has a Depends on libcoq-ocaml-dev-6eyh0 which cannot be satisfied on ppc64el.
Package has a Depends on libcoq-ocaml-dev-ksgm2 which cannot be satisfied on i386.
Package has a Depends on libcoq-ocaml-dev-557q3 which cannot be satisfied on armhf.

Binary Package: libaac-tactics-ocaml (Version: 8.8.0+1.gbp069dc3b-1+b1)

Relationships

Package has a Depends on libcoq-ocaml-6eyh0 which cannot be satisfied on ppc64el.
Package has a Depends on libcoq-ocaml-au5i8 which cannot be satisfied on amd64.
Package has a Depends on libcoq-ocaml-ksgm2 which cannot be satisfied on i386.
Package has a Depends on libcoq-ocaml-6cvm3 which cannot be satisfied on mipsel.
Package has a Depends on libcoq-ocaml-6cvm3 which cannot be satisfied on mips64el.
Package has a Depends on libcoq-ocaml-6cvm3 which cannot be satisfied on armel.
Package has a Depends on libcoq-ocaml-557q3 which cannot be satisfied on armhf.
Package has a Depends on libcoq-ocaml-xegf5 which cannot be satisfied on arm64.
Package has a Depends on libcoq-ocaml-dn6z9 which cannot be satisfied on s390x.

Binary Package: libaac-tactics-coq (Version: 8.8.0+1.gbp069dc3b-1)

Relationships

Package has a Depends on coq-8.9.0+4.05.0 which cannot be satisfied on i386.
Package has a Depends on coq-8.9.0+4.05.0 which cannot be satisfied on s390x.
Package has a Depends on coq-8.9.0+4.05.0 which cannot be satisfied on mips64el.
Package has a Depends on coq-8.9.0+4.05.0 which cannot be satisfied on amd64.
Package has a Depends on coq-8.9.0+4.05.0 which cannot be satisfied on armhf.
Package has a Depends on coq-8.9.0+4.05.0 which cannot be satisfied on ppc64el.
Package has a Depends on coq-8.9.0+4.05.0 which cannot be satisfied on arm64.
Package has a Depends on coq-8.9.0+4.05.0 which cannot be satisfied on mipsel.
Package has a Depends on coq-8.9.0+4.05.0 which cannot be satisfied on armel.