mathcomp-finmap

Cross build dependency satisfiability

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

Cross builds

No build performed yet.

mathcomp-finmap for