|
Distribution: sid trixie bookworm bullseye buster
Problems for source package coq
Current Source Version: 8.12.0-3
Current Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Section: main
BTS entry: https://bugs.debian.org/src:coq
Binary Package: coq (Version: 8.12.0-3+b3)
BTS entry: https://bugs.debian.org/coq
RelationshipsPackage 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 mips64el.
Package has a Suggests on why (>= 2.19) which cannot be satisfied on armel.
Package 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 mipsel.
Package has a Suggests on why (>= 2.19) which cannot be satisfied on amd64.
Package has a Suggests on why (>= 2.19) which cannot be satisfied on i386.
Package has a Suggests on coq-doc which cannot be satisfied on mips64el.
Package has a Suggests on coq-doc which cannot be satisfied on armhf.
Package has a Suggests on coq-doc which cannot be satisfied on amd64.
Package has a Suggests on coq-doc which cannot be satisfied on i386.
Package has a Suggests on coq-doc which cannot be satisfied on armel.
Package has a Suggests on coq-doc which cannot be satisfied on ppc64el.
Package has a Suggests on coq-doc which cannot be satisfied on arm64.
Package has a Suggests on coq-doc which cannot be satisfied on mipsel.
Last updated: Fri Apr 19 15:29:05 2024
|