| state | architectures |
|---|---|
| missing coq, libcoq-bignums, libcoq-core-ocaml-dev, libcoq-elpi, libcoq-math-classes, libcoq-stdlib | amd64 → armhf; arm64 → i386 |
| missing libcoq-stdlib-1ns11 | amd64 → arm64 |
| missing libcoq-stdlib-68yx1 | arm64 → amd64 |
| missing libcoq-stdlib-q0rh7 | amd64 → ppc64el |
| missing libfindlib-ocaml-eitb4 | amd64 → riscv64 |
| missing libfindlib-ocaml-svhk3 | amd64 → s390x |
No build performed yet.