| state | architectures |
|---|---|
| missing coq, libcoq-core-ocaml-dev, libcoq-ext-lib, libcoq-mathcomp-ssreflect, libcoq-simple-io, libcoq-stdlib | amd64 → armhf; arm64 → i386 |
| missing gcc-15-aarch64-linux-gnu | amd64 → arm64 |
| missing gcc-15-powerpc64le-linux-gnu | amd64 → ppc64el |
| missing gcc-15-riscv64-linux-gnu | amd64 → riscv64 |
| missing gcc-15-s390x-linux-gnu | amd64 → s390x |
| missing gcc-15-x86-64-linux-gnu | arm64 → amd64 |
No build performed yet.