ott

Cross build dependency satisfiability

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

Cross builds

No build performed yet.

ott for