Problems for source package coq-quickchick

BuildDepends

Package declares a build time dependency on libcoq-mathcomp-ssreflect which cannot be satisfied on armhf. Package coq-quickchick does not exist on armhf.
Package declares a build time dependency on libcoq-mathcomp-ssreflect which cannot be satisfied on armel. Package coq-quickchick does not exist on armel.
Package declares a build time dependency on libcoq-mathcomp-ssreflect which cannot be satisfied on mips64el. Package coq-quickchick does not exist on mips64el.
Package declares a build time dependency on libcoq-mathcomp-ssreflect which cannot be satisfied on i386. Package coq-quickchick does not exist on i386.
Package declares a build time dependency on libcoq-simple-io which cannot be satisfied on mips64el. Package coq-quickchick does not exist on mips64el.
Package declares a build time dependency on libcoq-simple-io which cannot be satisfied on armel. Package coq-quickchick does not exist on armel.
Package declares a build time dependency on libcoq-simple-io which cannot be satisfied on armhf. Package coq-quickchick does not exist on armhf.
Package declares a build time dependency on libcoq-simple-io which cannot be satisfied on i386. Package coq-quickchick does not exist on i386.
Package declares a build time dependency on libcoq-stdlib which cannot be satisfied on i386. Package coq-quickchick does not exist on i386.
Package declares a build time dependency on libcoq-stdlib which cannot be satisfied on armhf. Package coq-quickchick does not exist on armhf.
Package declares a build time dependency on libcoq-stdlib which cannot be satisfied on mips64el. Package coq-quickchick does not exist on mips64el.
Package declares a build time dependency on libcoq-stdlib which cannot be satisfied on armel. Package coq-quickchick does not exist on armel.
Package declares a build time dependency on libcoq-core-ocaml-dev which cannot be satisfied on armhf. Package coq-quickchick does not exist on armhf.
Package declares a build time dependency on libcoq-core-ocaml-dev which cannot be satisfied on mips64el. Package coq-quickchick does not exist on mips64el.
Package declares a build time dependency on libcoq-core-ocaml-dev which cannot be satisfied on armel. Package coq-quickchick does not exist on armel.
Package declares a build time dependency on libcoq-core-ocaml-dev which cannot be satisfied on i386. Package coq-quickchick does not exist on i386.
Package declares a build time dependency on libcoq-ext-lib which cannot be satisfied on armhf. Package coq-quickchick does not exist on armhf.
Package declares a build time dependency on libcoq-ext-lib which cannot be satisfied on armel. Package coq-quickchick does not exist on armel.
Package declares a build time dependency on libcoq-ext-lib which cannot be satisfied on mips64el. Package coq-quickchick does not exist on mips64el.
Package declares a build time dependency on libcoq-ext-lib which cannot be satisfied on i386. Package coq-quickchick does not exist on i386.
Package declares a build time dependency on coq which cannot be satisfied on armel. Package coq-quickchick does not exist on armel.
Package declares a build time dependency on coq which cannot be satisfied on mips64el. Package coq-quickchick does not exist on mips64el.
Package declares a build time dependency on coq which cannot be satisfied on armhf. Package coq-quickchick does not exist on armhf.
Package declares a build time dependency on coq which cannot be satisfied on i386. Package coq-quickchick does not exist on i386.

Binary Package: libcoq-quickchick (Version: 2.0.3-3+b6)

Relationships

Package has a Depends on libcoq-ext-lib-ae6g1 which cannot be satisfied on amd64.
Package has a Depends on libcoq-stdlib-f88b8 which cannot be satisfied on ppc64el.
Package has a Depends on libcoq-stdlib-cw0z4 which cannot be satisfied on arm64.
Package has a Depends on libcoq-ext-lib-ku7w0 which cannot be satisfied on ppc64el.
Package has a Depends on libcoq-simple-io-q99s4 which cannot be satisfied on ppc64el.
Package has a Depends on libcoq-ext-lib-yqbx7 which cannot be satisfied on s390x.
Package has a Depends on libcoq-ext-lib-7qof3 which cannot be satisfied on arm64.
Package has a Depends on libcoq-simple-io-sw088 which cannot be satisfied on arm64.
Package has a Depends on libcoq-stdlib-orhs4 which cannot be satisfied on amd64.