| state | architectures |
|---|---|
| missing coq | amd64 → {armel, mips64el} |
| missing crossbuild-essential-riscv64 | amd64 → riscv64 |
| missing libcoq-stdlib-84f80 | arm64 → amd64 |
| missing libcoq-stdlib-8u5j8 | amd64 → armhf |
| missing libcoq-stdlib-97v84 | amd64 → arm64 |
| missing libcoq-stdlib-nhhu6 | amd64 → ppc64el |
| missing libcoq-stdlib-tp8b6 | arm64 → i386 |
| missing libcoq-stdlib-wsmp7 | amd64 → s390x |
No build performed yet.