| state | architectures |
|---|---|
| missing elpi, libcoq-stdlib, libelpi-ocaml-dev | arm64 → i386 |
| missing elpi, libelpi-ocaml-dev | amd64 → armhf |
| missing gcc-15-riscv64-linux-gnu | amd64 → riscv64 |
| missing python3.14-minimal | amd64 → {arm64, ppc64el, s390x}; arm64 → amd64 |
No build performed yet.