mathcomp-bigenough

Cross build dependency satisfiability

state architectures
missing coq amd64 → {armel, armhf, mips64el}; arm64 → i386
missing gcc-14-aarch64-linux-gnu amd64 → arm64
missing gcc-14-powerpc64le-linux-gnu amd64 → ppc64el
missing gcc-14-x86-64-linux-gnu arm64 → amd64
missing libc-dev-bin amd64 → {riscv64, s390x}
See also

Cross builds

No build performed yet.

mathcomp-bigenough for