coq-gappa

Cross build dependency satisfiability

state architectures
missing coq amd64 → ppc64el
missing libcoq-flocq amd64 → {armel, mips64el, mipsel}
missing ocaml-nox amd64 → {arm64, armhf, s390x}; arm64 → any
See also

Cross builds

No build performed yet.

coq-gappa for