| state | architectures |
|---|---|
| missing coq, libcoq-bignums, libcoq-core-ocaml-dev, libcoq-mathcomp-algebra, libcoq-mathcomp-multinomials, libcoq-mathcomp-real-closed, libcoq-paramcoq, libcoq-stdlib | 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 |
No build performed yet.