coq-quickchick

Cross build dependency satisfiability

state architectures
missing coq amd64 → {armel, armhf, mips64el}; arm64 → i386
missing libfindlib-ocaml-5dit4 amd64 → arm64
missing libfindlib-ocaml-9a346 amd64 → s390x
missing libfindlib-ocaml-o8mp7 amd64 → ppc64el
missing libfindlib-ocaml-t4zk4 amd64 → riscv64
missing libfindlib-ocaml-xdxk1 arm64 → amd64
See also

Cross builds

No build performed yet.

coq-quickchick for