coq-corn
Reported
FTBFS
bugs
#1143292
: FTBFS: dh_auto_build: error: make -j2 INSTALL="install --strip-program=true" returned exit code 2
Cross build dependency satisfiability
state
architectures
missing libcoq-bignums, libcoq-elpi, libcoq-math-classes
amd64 → armhf; arm64 → i386
missing python3.14-minimal
amd64 → {arm64, ppc64el, riscv64, s390x}; arm64 → amd64
See also
bootstrap.debian.net
debcheck
Cross builds
No build performed yet.
coq-corn for
any → any
amd64 → arm64
amd64 → armhf
amd64 → ppc64el
amd64 → riscv64
amd64 → s390x
arm64 → amd64
arm64 → i386