eprover

Cross build dependency satisfiability

state architectures
conflict libc6-dev-mips64el-cross amd64 → mips64el
ok amd64 → {arm64, armel, armhf, ppc64el, riscv64, s390x}; arm64 → any
See also

Cross builds

started version build architecture host architecture result log
3.2.5+ds-1 amd64 armhf failed xz
3.2.5+ds-1 amd64 armel failed xz
3.2.5+ds-1 amd64 riscv64 failed xz
3.2.5+ds-1 arm64 i386 failed xz
3.2.5+ds-1 amd64 arm64 failed xz
3.2.5+ds-1 amd64 s390x failed xz
3.2.5+ds-1 arm64 amd64 failed xz
3.2.0+ds-1 amd64 armhf failed xz
3.2.0+ds-1 amd64 armel failed xz
3.2.0+ds-1 arm64 i386 failed xz
3.2.0+ds-1 amd64 ppc64el failed xz
3.2.0+ds-1 amd64 arm64 failed xz
3.2.0+ds-1 amd64 s390x failed xz
3.2.0+ds-1 arm64 amd64 failed xz
3.2.0+ds-1 amd64 mips64el failed xz
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