mathcomp-algebra-tactics

Cross build dependency satisfiability

state architectures
missing coq amd64 → {armel, armhf}; arm64 → i386
missing libppx-deriving-ocaml-dev-124n2 amd64 → riscv64
missing libppx-deriving-ocaml-dev-7j4i9 amd64 → arm64
missing libppx-deriving-ocaml-dev-li3j7 amd64 → s390x
missing libppx-deriving-ocaml-dev-r2xh4 amd64 → ppc64el
missing libppx-deriving-ocaml-dev-t2bg6 arm64 → amd64
See also

Cross builds

No build performed yet.

mathcomp-algebra-tactics for