Problems for source package coq-corn

BuildDepends

Package declares a build time dependency on coq which cannot be satisfied on i386. Package coq-corn does not exist on i386.
Package declares a build time dependency on coq which cannot be satisfied on armhf. Package coq-corn does not exist on armhf.
Package declares a build time dependency on coq 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-math-classes 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 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-elpi which cannot be satisfied on i386. Package coq-corn does not exist on i386.
Package declares a build time dependency on libcoq-stdlib which cannot be satisfied on i386. Package coq-corn does not exist on i386.
Package declares a build time dependency on libcoq-stdlib which cannot be satisfied on armhf. Package coq-corn does not exist on armhf.
Package declares a build time dependency on libcoq-stdlib 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.
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 i386. Package coq-corn does not exist on i386.
Package declares a build time dependency on libcoq-core-ocaml-dev which cannot be satisfied on loong64. Package coq-corn does not exist on loong64.
Package declares a build time dependency on libcoq-core-ocaml-dev which cannot be satisfied on armhf. Package coq-corn does not exist on armhf.
Package declares a build time dependency on libcoq-core-ocaml-dev which cannot be satisfied on i386. Package coq-corn does not exist on i386.

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

Relationships

Package has a Depends on libcoq-math-classes-acfj1 which cannot be satisfied on arm64.
Package has a Depends on libcoq-bignums-twg06 which cannot be satisfied on arm64.
Package has a Depends on libcoq-stdlib-vm656 which cannot be satisfied on arm64.
Package has a Depends on libcoq-math-classes-zf0a7 which cannot be satisfied on amd64.
Package has a Depends on libcoq-bignums-3sx22 which cannot be satisfied on amd64.
Package has a Depends on libcoq-stdlib-44w21 which cannot be satisfied on amd64.