eprover

Cross build dependency satisfiability

state architectures
missing crossbuild-essential-riscv64 amd64 → riscv64
skew libgcc-s1 amd64 → ppc64el; arm64 → i386
ok amd64 → {arm64, armel, armhf, mips64el, s390x}; arm64 → amd64
See also

Cross builds

started version build architecture host architecture result log
3.1.0+ds-2 amd64 ppc64el failed xz
3.1.0+ds-1 amd64 s390x failed xz
3.1.0+ds-1 amd64 arm64 failed xz
3.1.0+ds-1 arm64 amd64 failed xz
3.0.03+ds-1 arm64 i386 failed xz
3.0.03+ds-1 arm64 amd64 failed xz
3.0.03+ds-1 amd64 mips64el failed xz
3.0.03+ds-1 arm64 i386 failed xz
3.0.03+ds-1 amd64 ppc64el failed xz
3.0.03+ds-1 arm64 amd64 failed xz
3.0.03+ds-1 amd64 mips64el failed xz
3.0.03+ds-1 amd64 armhf failed xz
3.0.03+ds-1 amd64 armel failed xz
3.0.03+ds-1 amd64 ppc64el failed xz
3.0.03+ds-1 amd64 s390x failed xz
3.0.03+ds-1 amd64 arm64 failed xz
2.6+ds-3 amd64 arm64 failed xz
2.6+ds-3 amd64 s390x failed xz
2.6+ds-3 amd64 armhf failed xz
2.6+ds-3 amd64 arm64 failed xz
2.6+ds-3 amd64 armhf failed xz
2.6+ds-3 amd64 arm64 failed xz
2.6+ds-3 amd64 armel failed xz
2.6+ds-3 amd64 armel failed xz
2.6+ds-3 amd64 arm64 failed xz
2.6+ds-3 amd64 arm64 failed xz
2.6+ds-3 amd64 ppc64el failed xz
2.6+ds-3 amd64 armel failed xz
2.6+ds-3 amd64 arm64 failed xz
2.6+ds-3 amd64 armel failed xz
2.6+ds-3 amd64 arm64 failed xz
2.6+ds-3 arm64 i386 failed xz
2.6+ds-3 amd64 s390x failed xz
2.6+ds-3 amd64 ppc64el failed xz
2.6+ds-3 amd64 mips64el failed xz
2.6+ds-3 amd64 armhf failed xz
2.6+ds-3 arm64 i386 failed xz
2.6+ds-3 amd64 arm64 failed xz
2.6+ds-3 amd64 mipsel failed xz
2.6+ds-3 arm64 amd64 failed xz
2.6+ds-3 amd64 armel failed xz
2.6+ds-2 arm64 amd64 failed xz
eprover for