| state | architectures |
|---|---|
| missing coq | amd64 → {armel, armhf, mips64el}; arm64 → i386 |
| missing gcc-14-powerpc64le-linux-gnu | amd64 → ppc64el |
| missing libstdlib-ocaml-fxjy5 | amd64 → {arm64, riscv64}; arm64 → amd64 |
| missing libstdlib-ocaml-ke4j9 | amd64 → s390x |
No build performed yet.