Problems for source package coq-simple-io

BuildDepends

Package declares a build time dependency on libcoq-ext-lib which cannot be satisfied on armhf. Package coq-simple-io does not exist on armhf.
Package declares a build time dependency on libcoq-ext-lib which cannot be satisfied on i386. Package coq-simple-io does not exist on i386.
Package declares a build time dependency on libcoq-ext-lib which cannot be satisfied on loong64. Package coq-simple-io does not exist on loong64.
Package declares a build time dependency on libcoq-stdlib which cannot be satisfied on i386. Package coq-simple-io does not exist on i386.
Package declares a build time dependency on libcoq-stdlib which cannot be satisfied on armhf. Package coq-simple-io does not exist on armhf.
Package declares a build time dependency on libcoq-stdlib which cannot be satisfied on loong64. Package coq-simple-io does not exist on loong64.

Binary Package: libcoq-simple-io (Version: 1.11.0-1+b3)

Relationships

Package has a Depends on libcoq-stdlib-jr710 which cannot be satisfied on arm64.
Package has a Depends on libcoq-ext-lib-9nr75 which cannot be satisfied on arm64.

Binary Package: libcoq-simple-io (Version: 1.11.0-1+b2)

Relationships

Package has a Depends on libcoq-stdlib-vsu61 which cannot be satisfied on ppc64el.
Package has a Depends on libcoq-ext-lib-sspa0 which cannot be satisfied on s390x.
Package has a Depends on libcoq-ext-lib-besb5 which cannot be satisfied on ppc64el.
Package has a Depends on libcoq-stdlib-awro6 which cannot be satisfied on riscv64.
Package has a Depends on libcoq-ext-lib-6tpg8 which cannot be satisfied on riscv64.
Package has a Depends on libcoq-stdlib-pibk3 which cannot be satisfied on s390x.