Problems for source package coq-corn

BuildDepends

Package declares a build time dependency on libcoq-math-classes which cannot be satisfied on loong64. Package coq-corn does not exist on loong64.
Package declares a build time dependency on libcoq-math-classes which cannot be satisfied on i386. Package coq-corn does not exist on i386.
Package declares a build time dependency on libcoq-math-classes which cannot be satisfied on armhf. Package coq-corn does not exist on armhf.
Package declares a build time dependency on libcoq-elpi which cannot be satisfied on i386. Package coq-corn does not exist on i386.
Package declares a build time dependency on libcoq-elpi which cannot be satisfied on loong64. Package coq-corn does not exist on loong64.
Package declares a build time dependency on libcoq-elpi which cannot be satisfied on armhf. Package coq-corn does not exist on armhf.
Package declares a build time dependency on libcoq-bignums which cannot be satisfied on i386. Package coq-corn does not exist on i386.
Package declares a build time dependency on libcoq-bignums which cannot be satisfied on loong64. Package coq-corn does not exist on loong64.
Package declares a build time dependency on libcoq-bignums which cannot be satisfied on armhf. Package coq-corn does not exist on armhf.

Binary Package: libcoq-corn (Version: 8.20.0-1+b10)

Relationships

Package has a Depends on libcoq-math-classes-76484 which cannot be satisfied on riscv64.
Package has a Depends on libcoq-bignums-gozd9 which cannot be satisfied on riscv64.
Package has a Depends on libcoq-elpi-bkmh8 which cannot be satisfied on riscv64.
Package has a Depends on libcoq-stdlib-awro6 which cannot be satisfied on riscv64.

Binary Package: libcoq-corn (Version: 8.20.0-1+b13)

Relationships

Package has a Depends on libcoq-elpi-wlsj5 which cannot be satisfied on s390x.
Package has a Depends on libcoq-stdlib-pibk3 which cannot be satisfied on s390x.
Package has a Depends on libcoq-math-classes-wtag4 which cannot be satisfied on s390x.
Package has a Depends on libcoq-bignums-2inf9 which cannot be satisfied on s390x.

Binary Package: libcoq-corn (Version: 8.20.0-1+b12)

Relationships

Package has a Depends on libcoq-elpi-ttuc1 which cannot be satisfied on ppc64el.
Package has a Depends on libcoq-bignums-e87f9 which cannot be satisfied on ppc64el.
Package has a Depends on libcoq-math-classes-zgby1 which cannot be satisfied on ppc64el.
Package has a Depends on libcoq-stdlib-vsu61 which cannot be satisfied on ppc64el.

Binary Package: libcoq-corn (Version: 8.20.0-1+b14)

Relationships

Package has a Depends on libcoq-elpi-xcgz8 which cannot be satisfied on amd64.
Package has a Depends on libcoq-stdlib-jr710 which cannot be satisfied on arm64.
Package has a Depends on libcoq-elpi-ph528 which cannot be satisfied on arm64.
Package has a Depends on libcoq-bignums-iri34 which cannot be satisfied on amd64.
Package has a Depends on libcoq-stdlib-o9940 which cannot be satisfied on amd64.
Package has a Depends on libcoq-math-classes-w6tj3 which cannot be satisfied on amd64.
Package has a Depends on libcoq-bignums-93v34 which cannot be satisfied on arm64.
Package has a Depends on libcoq-math-classes-hw5y1 which cannot be satisfied on arm64.