coq-unimath

Cross build dependency satisfiability

state architectures
missing gcc-15-riscv64-linux-gnu amd64 → riscv64
missing python3.14-minimal amd64 → {arm64, armhf, ppc64el, s390x}; arm64 → any
See also

Cross builds

No build performed yet.

coq-unimath for