| state | architectures |
|---|---|
| missing coq | amd64 → {armel, armhf, mips64el}; arm64 → i386 |
| missing libcoq-stdlib-p29e7 | arm64 → amd64 |
| missing libcoq-stdlib-pmt02 | amd64 → ppc64el |
| missing libcoq-stdlib-q99p3 | amd64 → riscv64 |
| missing libcoq-stdlib-z3q11 | amd64 → arm64 |
| missing libfindlib-ocaml-7zo87 | amd64 → s390x |
No build performed yet.