| state | architectures |
|---|---|
| missing coq, libcoq-elpi, libcoq-hierarchy-builder, libcoq-mathcomp-algebra, libcoq-mathcomp-bigenough, libcoq-mathcomp-field, libcoq-mathcomp-fingroup, libcoq-mathcomp-finmap, libcoq-mathcomp-solvable, libcoq-mathcomp-ssreflect | amd64 → armhf; arm64 → i386 |
| missing libcompiler-libs-ocaml-dev-5mea7 | amd64 → arm64 |
| missing libcompiler-libs-ocaml-dev-951u7 | amd64 → riscv64 |
| missing libcompiler-libs-ocaml-dev-bw0x9 | amd64 → ppc64el |
| missing libcompiler-libs-ocaml-dev-wlbk2 | amd64 → s390x |
| missing libcompiler-libs-ocaml-dev-wpbc6 | arm64 → amd64 |
No build performed yet.