coq-iris
Cross build dependency satisfiability
state
architectures
missing biber
amd64 → {arm64, ppc64el, riscv64, s390x}; arm64 → amd64
missing biber, coq, libcoq-core-ocaml-dev, libcoq-stdpp
amd64 → armhf; arm64 → i386
See also
bootstrap.debian.net
debcheck
Cross builds
No build performed yet.
coq-iris for
any &arr; any
amd64 &arr; arm64
amd64 &arr; armhf
amd64 &arr; ppc64el
amd64 &arr; riscv64
amd64 &arr; s390x
arm64 &arr; amd64
arm64 &arr; i386