Problems for source package coq-interval

BuildDepends

Package declares a build time dependency on libcoq-mathcomp-ssreflect which cannot be satisfied on armhf. Package coq-interval does not exist on armhf.
Package declares a build time dependency on libcoq-mathcomp-ssreflect which cannot be satisfied on loong64. Package coq-interval does not exist on loong64.
Package declares a build time dependency on libcoq-mathcomp-ssreflect which cannot be satisfied on i386. Package coq-interval does not exist on i386.
Package declares a build time dependency on libcoq-bignums which cannot be satisfied on i386. Package coq-interval does not exist on i386.
Package declares a build time dependency on libcoq-bignums which cannot be satisfied on armhf. Package coq-interval does not exist on armhf.
Package declares a build time dependency on libcoq-bignums which cannot be satisfied on loong64. Package coq-interval does not exist on loong64.
Package declares a build time dependency on libcoq-coquelicot which cannot be satisfied on loong64. Package coq-interval does not exist on loong64.
Package declares a build time dependency on libcoq-coquelicot which cannot be satisfied on armhf. Package coq-interval does not exist on armhf.
Package declares a build time dependency on libcoq-coquelicot which cannot be satisfied on i386. Package coq-interval does not exist on i386.

Binary Package: libcoq-interval (Version: 4.11.1-1+b15)

Relationships

Package has a Depends on libcoq-flocq-2tvx3 which cannot be satisfied on riscv64.
Package has a Depends on libcoq-stdlib-awro6 which cannot be satisfied on riscv64.
Package has a Depends on libcoq-bignums-gozd9 which cannot be satisfied on riscv64.