mathcomp-zify

Cross build dependency satisfiability

state architectures
missing coq amd64 → {armel, mips64el}
missing crossbuild-essential-riscv64 amd64 → riscv64
missing gcc-13-aarch64-linux-gnu amd64 → arm64
missing gcc-13-i686-linux-gnu arm64 → i386
missing gcc-13-powerpc64le-linux-gnu amd64 → ppc64el
missing gcc-13-x86-64-linux-gnu arm64 → amd64
missing libcoq-stdlib-8u5j8 amd64 → armhf
missing libcoq-stdlib-wsmp7 amd64 → s390x
See also

Cross builds

No build performed yet.

mathcomp-zify for