Distribution: sid trixie bookworm bullseye buster
Problems for source package coq
Current Source Version: 8.19.1+dfsg-3
Current Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Section: main
BTS entry: https://bugs.debian.org/src:coq
BuildDependsPackage declares a build time dependency on ocaml-native-compilers which cannot be satisfied on armhf.
Package declares a build time dependency on ocaml-native-compilers which cannot be satisfied on armel. Package coq does not exist on armel.
Package declares a build time dependency on ocaml-native-compilers which cannot be satisfied on mips64el. Package coq does not exist on mips64el.
Package declares a build time dependency on ocaml-native-compilers which cannot be satisfied on i386.
Binary Package: libcoq-core-ocaml-dev (Version: 8.19.1+dfsg-3)
BTS entry: https://bugs.debian.org/libcoq-core-ocaml-dev
RelationshipsPackage has a Depends on libstdlib-ocaml-dev-rayz1 which cannot be satisfied on armhf.
Package has a Depends on libfindlib-ocaml-dev-9adu2 which cannot be satisfied on armhf.
Package has a Depends on ocaml-4.14.1 which cannot be satisfied on armhf.
Package has a Depends on ocaml-4.14.1 which cannot be satisfied on i386.
Package has a Depends on libstdlib-ocaml-dev-dkl58 which cannot be satisfied on i386.
Package has a Depends on libfindlib-ocaml-dev-goqu1 which cannot be satisfied on i386.
Package has a Depends on libzarith-ocaml-dev-wx6x8 which cannot be satisfied on armhf.
Package has a Depends on libzarith-ocaml-dev-wx6x8 which cannot be satisfied on i386.
Binary Package: libcoq-core-ocaml (Version: 8.19.1+dfsg-3)
BTS entry: https://bugs.debian.org/libcoq-core-ocaml
RelationshipsPackage has a Depends on libfindlib-ocaml-goqu1 which cannot be satisfied on i386.
Package has a Depends on ocaml-base-4.14.1 which cannot be satisfied on armhf.
Package has a Depends on ocaml-base-4.14.1 which cannot be satisfied on i386.
Package has a Depends on libfindlib-ocaml-9adu2 which cannot be satisfied on armhf.
Package has a Depends on libstdlib-ocaml-rayz1 which cannot be satisfied on armhf.
Package has a Depends on libzarith-ocaml-wx6x8 which cannot be satisfied on armhf.
Package has a Depends on libzarith-ocaml-wx6x8 which cannot be satisfied on i386.
Package has a Depends on libstdlib-ocaml-dkl58 which cannot be satisfied on i386.
Binary Package: coq (Version: 8.19.1+dfsg-3)
BTS entry: https://bugs.debian.org/coq
RelationshipsPackage has a Depends on libstdlib-ocaml-dkl58 which cannot be satisfied on i386.
Package has a Depends on libzarith-ocaml-wx6x8 which cannot be satisfied on i386.
Package has a Depends on libzarith-ocaml-wx6x8 which cannot be satisfied on armhf.
Package has a Depends on libstdlib-ocaml-rayz1 which cannot be satisfied on armhf.
Package has a Depends on libfindlib-ocaml-9adu2 which cannot be satisfied on armhf.
Package has a Depends on ocaml-base-4.14.1 which cannot be satisfied on armhf.
Package has a Depends on ocaml-base-4.14.1 which cannot be satisfied on i386.
Package has a Depends on libfindlib-ocaml-goqu1 which cannot be satisfied on i386.
Package has a Suggests on why (>= 2.19) which cannot be satisfied on armhf.
Package has a Suggests on why (>= 2.19) which cannot be satisfied on i386.
Binary Package: coq (Version: 8.19.1+dfsg-3+b1)
BTS entry: https://bugs.debian.org/coq
RelationshipsPackage has a Suggests on why (>= 2.19) which cannot be satisfied on ppc64el.
Package has a Suggests on why (>= 2.19) which cannot be satisfied on arm64.
Package has a Suggests on why (>= 2.19) which cannot be satisfied on s390x.
Package has a Suggests on why (>= 2.19) which cannot be satisfied on amd64.
Last updated: Tue Aug 13 15:25:10 2024
|