coq-corn

Cross build dependency satisfiability

state architectures
missing coq amd64 → {armel, armhf}; arm64 → i386
missing libmenhir-ocaml-dev-fmlh1 amd64 → s390x
missing libmenhir-ocaml-dev-ioj75 amd64 → {arm64, ppc64el, riscv64}; arm64 → amd64
See also

Cross builds

No build performed yet.

coq-corn for