| state | architectures |
|---|---|
| missing libcoq-elpi, libcoq-hierarchy-builder, libcoq-mathcomp-algebra, libcoq-mathcomp-bigenough, libcoq-mathcomp-field, libcoq-mathcomp-finite-group, libcoq-mathcomp-finmap, libcoq-mathcomp-solvable, libcoq-mathcomp-ssreflect | amd64 → armhf; arm64 → i386 |
| missing libcoq-mathcomp-finite-group | amd64 → riscv64 |
| missing python3.14-minimal | amd64 → {arm64, ppc64el, s390x}; arm64 → amd64 |
No build performed yet.