coq-elpi

Cross build dependency satisfiability

state architectures
missing coq, elpi, libcoq-core-ocaml-dev, libcoq-stdlib, libelpi-ocaml-dev amd64 → armhf; arm64 → i386
missing libppx-deriving-ocaml-1ddy7 amd64 → s390x
missing libppx-deriving-ocaml-f8880 amd64 → ppc64el
missing libppx-deriving-ocaml-gkms3 amd64 → arm64
missing libppx-deriving-ocaml-oyj44 amd64 → riscv64
missing libppx-deriving-ocaml-zr775 arm64 → amd64
See also

Cross builds

No build performed yet.

coq-elpi for