state | architectures |
---|---|
missing coq | amd64 → {armel, armhf, mips64el}; arm64 → i386 |
missing gcc-14-aarch64-linux-gnu | amd64 → arm64 |
missing gcc-14-powerpc64le-linux-gnu | amd64 → ppc64el |
missing gcc-14-x86-64-linux-gnu | arm64 → amd64 |
missing libc-dev-bin | amd64 → {riscv64, s390x} |
No build performed yet.