why3

Cross build dependency satisfiability

state	architectures
missing gcc-15-aarch64-linux-gnu	amd64 → arm64
missing gcc-15-x86-64-linux-gnu	arm64 → amd64
missing libwayland-bin	amd64 → {armhf, ppc64el, riscv64, s390x}; arm64 → i386

See also

Cross builds

No build performed yet.