Debcheck

 

Back to QA

Debcheck - sid
 Summary
 All packages (light)

main only
 Broken PreDepends
 Broken Depends
 Broken Recommends
 Broken Suggests

 HalfBroken PreDepends
 HalfBroken Depends
 HalfBroken Recommends
 HalfBroken Suggests

 Build-Depends
 HalfBroken Build-Depends
 Malformed Build-Depends

 OldLibs
 Priority

 Old Standards-Version
 No Standards-Version
 Wrong Standards-Version Syntax

other
 Depends Main on !Main

all sections
 Broken PreDepends
 Broken Depends
 Broken Recommends
 Broken Suggests

 HalfBroken PreDepends
 HalfBroken Depends
 HalfBroken Recommends
 HalfBroken Suggests

 Build-Depends
 HalfBroken Build-Depends
 Malformed Build-Depends

 OldLibs
 Priority

 Old Standards-Version
 No Standards-Version
 Wrong Standards-Version Syntax

 
   
Distribution: sid bullseye buster stretch

Problems for source package frama-c

Current Source Version: 20201209+titanium-4.1
Current Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Section: main
BTS entry: https://bugs.debian.org/src:frama-c

Binary Package: frama-c-base (Version: 20201209+titanium-4.1)

BTS entry: https://bugs.debian.org/frama-c-base

Relationships

Package has a Depends on libeasy-format-ocaml-v12a8 which cannot be satisfied on i386.
Package has a Depends on ocaml-base-nox-4.11.1 which cannot be satisfied on i386.
Package has a Depends on liblablgtk3-ocaml-hdqe0 which cannot be satisfied on i386.
Package has a Depends on liblablgtksourceview3-ocaml-m95m5 which cannot be satisfied on i386.
Package has a Depends on libcairo2-ocaml-5scl0 which cannot be satisfied on i386.
Package has a Depends on libzarith-ocaml-f9sl5 which cannot be satisfied on i386.
Package has a Depends on libbiniou-ocaml-4c3g1 which cannot be satisfied on i386.
Package has a Depends on libfindlib-ocaml-ccbz8 which cannot be satisfied on i386.
Package has a Depends on libyojson-ocaml-zd6i9 which cannot be satisfied on i386.

Binary Package: frama-c-base (Version: 20201209+titanium-4.1+b2)

BTS entry: https://bugs.debian.org/frama-c-base

Relationships

Package has a Depends on libbiniou-ocaml-4c3g1 which cannot be satisfied on armhf.
Package has a Depends on libcairo2-ocaml-56yq1 which cannot be satisfied on armel.
Package has a Depends on libcairo2-ocaml-56yq1 which cannot be satisfied on mips64el.
Package has a Depends on libcairo2-ocaml-56yq1 which cannot be satisfied on mipsel.
Package has a Depends on libzarith-ocaml-6esu1 which cannot be satisfied on amd64.
Package has a Depends on libzarith-ocaml-6esu1 which cannot be satisfied on arm64.
Package has a Depends on libzarith-ocaml-6esu1 which cannot be satisfied on ppc64el.
Package has a Depends on liblablgtksourceview3-ocaml-5j5o8 which cannot be satisfied on arm64.
Package has a Depends on liblablgtksourceview3-ocaml-5j5o8 which cannot be satisfied on ppc64el.
Package has a Depends on liblablgtksourceview3-ocaml-5j5o8 which cannot be satisfied on amd64.
Package has a Depends on liblablgtksourceview3-ocaml-0eup3 which cannot be satisfied on mipsel.
Package has a Depends on liblablgtksourceview3-ocaml-0eup3 which cannot be satisfied on mips64el.
Package has a Depends on liblablgtksourceview3-ocaml-0eup3 which cannot be satisfied on armel.
Package has a Depends on libyojson-ocaml-5i4q9 which cannot be satisfied on armel.
Package has a Depends on libyojson-ocaml-5i4q9 which cannot be satisfied on mipsel.
Package has a Depends on libyojson-ocaml-5i4q9 which cannot be satisfied on mips64el.
Package has a Depends on libfindlib-ocaml-sjho4 which cannot be satisfied on armel.
Package has a Depends on libfindlib-ocaml-sjho4 which cannot be satisfied on mipsel.
Package has a Depends on libfindlib-ocaml-sjho4 which cannot be satisfied on mips64el.
Package has a Depends on liblablgtksourceview3-ocaml-nyu15 which cannot be satisfied on s390x.
Package has a Depends on libeasy-format-ocaml-pv8p0 which cannot be satisfied on s390x.
Package has a Depends on libfindlib-ocaml-wh6n1 which cannot be satisfied on amd64.
Package has a Depends on libbiniou-ocaml-ljbe4 which cannot be satisfied on armel.
Package has a Depends on libbiniou-ocaml-ljbe4 which cannot be satisfied on mips64el.
Package has a Depends on libbiniou-ocaml-ljbe4 which cannot be satisfied on mipsel.
Package has a Depends on libfindlib-ocaml-171z0 which cannot be satisfied on ppc64el.
Package has a Depends on liblablgtk3-ocaml-izdy8 which cannot be satisfied on s390x.
Package has a Depends on libcairo2-ocaml-vwag2 which cannot be satisfied on amd64.
Package has a Depends on libcairo2-ocaml-vwag2 which cannot be satisfied on ppc64el.
Package has a Depends on libcairo2-ocaml-vwag2 which cannot be satisfied on arm64.
Package has a Depends on libyojson-ocaml-nvpv7 which cannot be satisfied on s390x.
Package has a Depends on libeasy-format-ocaml-1mv70 which cannot be satisfied on mips64el.
Package has a Depends on libeasy-format-ocaml-1mv70 which cannot be satisfied on mipsel.
Package has a Depends on libeasy-format-ocaml-1mv70 which cannot be satisfied on armel.
Package has a Depends on libzarith-ocaml-5oj68 which cannot be satisfied on s390x.
Package has a Depends on libyojson-ocaml-mkm52 which cannot be satisfied on amd64.
Package has a Depends on libyojson-ocaml-mkm52 which cannot be satisfied on arm64.
Package has a Depends on libyojson-ocaml-mkm52 which cannot be satisfied on ppc64el.
Package has a Depends on libzarith-ocaml-4jx49 which cannot be satisfied on armhf.
Package has a Depends on libfindlib-ocaml-agxk0 which cannot be satisfied on armhf.
Package has a Depends on libcairo2-ocaml-0ddo3 which cannot be satisfied on s390x.
Package has a Depends on libfindlib-ocaml-kzn55 which cannot be satisfied on s390x.
Package has a Depends on libfindlib-ocaml-p0yg8 which cannot be satisfied on arm64.
Package has a Depends on libyojson-ocaml-zd6i9 which cannot be satisfied on armhf.
Package has a Depends on liblablgtk3-ocaml-0kl61 which cannot be satisfied on armel.
Package has a Depends on liblablgtk3-ocaml-0kl61 which cannot be satisfied on mipsel.
Package has a Depends on liblablgtk3-ocaml-0kl61 which cannot be satisfied on mips64el.
Package has a Depends on libcairo2-ocaml-5scl0 which cannot be satisfied on armhf.
Package has a Depends on libbiniou-ocaml-dsqd1 which cannot be satisfied on amd64.
Package has a Depends on libbiniou-ocaml-dsqd1 which cannot be satisfied on ppc64el.
Package has a Depends on libbiniou-ocaml-dsqd1 which cannot be satisfied on arm64.
Package has a Depends on libbiniou-ocaml-d8jg1 which cannot be satisfied on s390x.
Package has a Depends on libzarith-ocaml-fu499 which cannot be satisfied on mipsel.
Package has a Depends on libzarith-ocaml-fu499 which cannot be satisfied on mips64el.
Package has a Depends on libzarith-ocaml-fu499 which cannot be satisfied on armel.
Package has a Depends on liblablgtksourceview3-ocaml-m95m5 which cannot be satisfied on armhf.
Package has a Depends on libeasy-format-ocaml-v12a8 which cannot be satisfied on armhf.
Package has a Depends on liblablgtk3-ocaml-x0f80 which cannot be satisfied on ppc64el.
Package has a Depends on liblablgtk3-ocaml-x0f80 which cannot be satisfied on arm64.
Package has a Depends on liblablgtk3-ocaml-x0f80 which cannot be satisfied on amd64.
Package has a Depends on ocaml-base-nox-4.11.1 which cannot be satisfied on armhf.
Package has a Depends on ocaml-base-nox-4.11.1 which cannot be satisfied on mips64el.
Package has a Depends on ocaml-base-nox-4.11.1 which cannot be satisfied on arm64.
Package has a Depends on ocaml-base-nox-4.11.1 which cannot be satisfied on ppc64el.
Package has a Depends on ocaml-base-nox-4.11.1 which cannot be satisfied on mipsel.
Package has a Depends on ocaml-base-nox-4.11.1 which cannot be satisfied on armel.
Package has a Depends on ocaml-base-nox-4.11.1 which cannot be satisfied on s390x.
Package has a Depends on ocaml-base-nox-4.11.1 which cannot be satisfied on amd64.
Package has a Depends on liblablgtk3-ocaml-hdqe0 which cannot be satisfied on armhf.
Package has a Depends on libeasy-format-ocaml-1ajv1 which cannot be satisfied on amd64.
Package has a Depends on libeasy-format-ocaml-1ajv1 which cannot be satisfied on arm64.
Package has a Depends on libeasy-format-ocaml-1ajv1 which cannot be satisfied on ppc64el.
Package has a Recommends on alt-ergo which cannot be satisfied on armhf.


Last updated: Wed Jan 26 15:25:08 2022

DO NOT MASS FILE BUG REPORTS
GET A CONSENSUS ON debian-devel@lists.debian.org BEFORE MASS FILING BUGS