|
|
Distribution: sid trixie bookworm bullseye buster
Problems for source package prover9-manual
Current Source Version: 0.0.200902a-2.1
Current Maintainer: Debian QA Group <packages@qa.debian.org>
Section: main
BTS entry: https://bugs.debian.org/src:prover9-manual
Binary Package: prover9-doc (Version: 0.0.200902a-2.1)
BTS entry: https://bugs.debian.org/prover9-doc
RelationshipsPackage has a Suggests on ladr4-apps which cannot be satisfied on mips64el.
Package has a Suggests on ladr4-apps which cannot be satisfied on i386.
Package has a Suggests on ladr4-apps which cannot be satisfied on arm64.
Package has a Suggests on ladr4-apps which cannot be satisfied on armhf.
Package has a Suggests on ladr4-apps which cannot be satisfied on s390x.
Package has a Suggests on ladr4-apps which cannot be satisfied on armel.
Package has a Suggests on ladr4-apps which cannot be satisfied on mipsel.
Package has a Suggests on ladr4-apps which cannot be satisfied on amd64.
Package has a Suggests on ladr4-apps which cannot be satisfied on ppc64el.
Package has a Suggests on prover9 which cannot be satisfied on armhf.
Package has a Suggests on prover9 which cannot be satisfied on s390x.
Package has a Suggests on prover9 which cannot be satisfied on mipsel.
Package has a Suggests on prover9 which cannot be satisfied on armel.
Package has a Suggests on prover9 which cannot be satisfied on amd64.
Package has a Suggests on prover9 which cannot be satisfied on ppc64el.
Package has a Suggests on prover9 which cannot be satisfied on mips64el.
Package has a Suggests on prover9 which cannot be satisfied on i386.
Package has a Suggests on prover9 which cannot be satisfied on arm64.
Last updated: Tue Dec 3 15:26:39 2024
|
