Debcheck
Distribution: bookworm bullseye
Problems for source package prooftreeCurrent Source Version: 0.13-2Current Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Section: main BTS entry: https://bugs.debian.org/src:prooftree
BuildDependsPackage declares a build time dependency on coq which cannot be satisfied on mipsel. Package prooftree does not exist on mipsel. Binary Package: prooftree (Version: 0.13-2)BTS entry: https://bugs.debian.org/prooftree
Old LibrariesPackage has a Depends on libgtk2.0-0 (>= 2.24.0) which is in Section oldlibs on s390x. Binary Package: prooftree (Version: 0.13-2+b2)BTS entry: https://bugs.debian.org/prooftree
Old LibrariesPackage has a Depends on libgtk2.0-0 (>= 2.24.0) which is in Section oldlibs on armhf.
Last updated: Sun Oct 13 15:26:08 2024 |
DO NOT MASS FILE BUG REPORTS
GET A CONSENSUS ON debian-devel@lists.debian.org BEFORE MASS FILING BUGS