Problems for source package frama-c

Binary Package: frama-c-base (Version: 20220511-manganese-5+b13)

Relationships

Package has a Depends on liblablgtksourceview3-ocaml-51fc1 which cannot be satisfied on ppc64el.
Package has a Depends on liblablgtksourceview3-ocaml-51fc1 which cannot be satisfied on arm64.
Package has a Depends on liblablgtksourceview3-ocaml-51fc1 which cannot be satisfied on amd64.
Package has a Depends on libstdlib-ocaml-bkvu1 which cannot be satisfied on i386.
Package has a Depends on libstdlib-ocaml-bkvu1 which cannot be satisfied on armhf.
Package has a Depends on liblablgtk3-ocaml-uftu4 which cannot be satisfied on s390x.
Package has a Depends on liblablgtksourceview3-ocaml-f7bx5 which cannot be satisfied on s390x.
Package has a Depends on liblablgtk3-ocaml-kuxy4 which cannot be satisfied on armhf.
Package has a Depends on liblablgtk3-ocaml-kuxy4 which cannot be satisfied on i386.
Package has a Depends on libcairo2-ocaml-7q5f6 which cannot be satisfied on arm64.
Package has a Depends on libcairo2-ocaml-7q5f6 which cannot be satisfied on ppc64el.
Package has a Depends on libcairo2-ocaml-7q5f6 which cannot be satisfied on amd64.
Package has a Depends on libcairo2-ocaml-c05k5 which cannot be satisfied on i386.
Package has a Depends on libcairo2-ocaml-c05k5 which cannot be satisfied on armhf.
Package has a Depends on liblablgtk3-ocaml-hnx11 which cannot be satisfied on arm64.
Package has a Depends on liblablgtk3-ocaml-hnx11 which cannot be satisfied on ppc64el.
Package has a Depends on liblablgtk3-ocaml-hnx11 which cannot be satisfied on amd64.
Package has a Depends on libyojson-ocaml-wcb47 which cannot be satisfied on s390x.
Package has a Depends on libfindlib-ocaml-s9ic8 which cannot be satisfied on arm64.
Package has a Depends on libfindlib-ocaml-0ne56 which cannot be satisfied on amd64.
Package has a Depends on libfindlib-ocaml-giqj4 which cannot be satisfied on i386.
Package has a Depends on libppx-deriving-ocaml-02m86 which cannot be satisfied on i386.
Package has a Depends on libppx-deriving-ocaml-02m86 which cannot be satisfied on armhf.
Package has a Depends on libfindlib-ocaml-7zo87 which cannot be satisfied on s390x.
Package has a Depends on libppx-deriving-ocaml-wl826 which cannot be satisfied on amd64.
Package has a Depends on libppx-deriving-ocaml-1j4h5 which cannot be satisfied on ppc64el.
Package has a Depends on liblablgtksourceview3-ocaml-mr7b3 which cannot be satisfied on i386.
Package has a Depends on liblablgtksourceview3-ocaml-mr7b3 which cannot be satisfied on armhf.
Package has a Depends on libstdlib-ocaml-r1af2 which cannot be satisfied on s390x.
Package has a Depends on libzarith-ocaml-lfk68 which cannot be satisfied on s390x.
Package has a Depends on libstdlib-ocaml-0d647 which cannot be satisfied on arm64.
Package has a Depends on libppx-deriving-ocaml-d4a55 which cannot be satisfied on arm64.
Package has a Depends on libstdlib-ocaml-7l663 which cannot be satisfied on amd64.
Package has a Depends on libfindlib-ocaml-oq9h3 which cannot be satisfied on armhf.
Package has a Depends on libyojson-ocaml-g43y1 which cannot be satisfied on amd64.
Package has a Depends on libyojson-ocaml-g43y1 which cannot be satisfied on arm64.
Package has a Depends on libyojson-ocaml-g43y1 which cannot be satisfied on ppc64el.
Package has a Depends on libfindlib-ocaml-huq36 which cannot be satisfied on ppc64el.
Package has a Depends on libzarith-ocaml-mtsj7 which cannot be satisfied on amd64.
Package has a Depends on libzarith-ocaml-mtsj7 which cannot be satisfied on ppc64el.
Package has a Depends on libzarith-ocaml-mtsj7 which cannot be satisfied on arm64.
Package has a Depends on libstdlib-ocaml-2a614 which cannot be satisfied on ppc64el.
Package has a Depends on libppx-deriving-ocaml-a4ds5 which cannot be satisfied on s390x.
Package has a Depends on libzarith-ocaml-9lp69 which cannot be satisfied on i386.
Package has a Depends on libzarith-ocaml-9lp69 which cannot be satisfied on armhf.
Package has a Depends on libcairo2-ocaml-nw7q1 which cannot be satisfied on s390x.
Package has a Depends on libyojson-ocaml-za2h3 which cannot be satisfied on i386.
Package has a Depends on libyojson-ocaml-za2h3 which cannot be satisfied on armhf.
Package has a Recommends on alt-ergo which cannot be satisfied on amd64.
Package has a Recommends on alt-ergo which cannot be satisfied on armhf.
Package has a Recommends on alt-ergo which cannot be satisfied on s390x.
Package has a Recommends on alt-ergo which cannot be satisfied on ppc64el.
Package has a Recommends on alt-ergo which cannot be satisfied on arm64.
Package has a Recommends on alt-ergo which cannot be satisfied on i386.

Binary Package: frama-c-base (Version: 20220511-manganese-5+b14)

Relationships

Package has a Depends on libyojson-ocaml-g43y1 which cannot be satisfied on riscv64.
Package has a Depends on liblablgtksourceview3-ocaml-51fc1 which cannot be satisfied on riscv64.
Package has a Depends on liblablgtk3-ocaml-hnx11 which cannot be satisfied on riscv64.
Package has a Depends on libzarith-ocaml-mtsj7 which cannot be satisfied on riscv64.
Package has a Depends on libfindlib-ocaml-9l3r6 which cannot be satisfied on riscv64.
Package has a Depends on libstdlib-ocaml-vvst5 which cannot be satisfied on riscv64.
Package has a Depends on libppx-deriving-ocaml-t83h0 which cannot be satisfied on riscv64.
Package has a Depends on libcairo2-ocaml-7q5f6 which cannot be satisfied on riscv64.
Package has a Recommends on alt-ergo which cannot be satisfied on riscv64.

Binary Package: frama-c-base (Version: 20220511-manganese-5+b12)

Relationships

Package has a Depends on libstdlib-ocaml-bkvu1 which cannot be satisfied on mips64el.
Package has a Depends on libstdlib-ocaml-bkvu1 which cannot be satisfied on armel.
Package has a Depends on libzarith-ocaml-9lp69 which cannot be satisfied on armel.
Package has a Depends on libzarith-ocaml-9lp69 which cannot be satisfied on mips64el.
Package has a Depends on liblablgtk3-ocaml-kuxy4 which cannot be satisfied on mips64el.
Package has a Depends on liblablgtk3-ocaml-kuxy4 which cannot be satisfied on armel.
Package has a Depends on liblablgtksourceview3-ocaml-mr7b3 which cannot be satisfied on mips64el.
Package has a Depends on liblablgtksourceview3-ocaml-mr7b3 which cannot be satisfied on armel.
Package has a Depends on libfindlib-ocaml-qkkz7 which cannot be satisfied on mips64el.
Package has a Depends on libfindlib-ocaml-dkjb4 which cannot be satisfied on armel.
Package has a Depends on libcairo2-ocaml-c05k5 which cannot be satisfied on armel.
Package has a Depends on libcairo2-ocaml-c05k5 which cannot be satisfied on mips64el.
Package has a Depends on libyojson-ocaml-za2h3 which cannot be satisfied on mips64el.
Package has a Depends on libyojson-ocaml-za2h3 which cannot be satisfied on armel.
Package has a Depends on libppx-deriving-ocaml-02m86 which cannot be satisfied on armel.
Package has a Depends on libppx-deriving-ocaml-02m86 which cannot be satisfied on mips64el.
Package has a Recommends on alt-ergo which cannot be satisfied on mips64el.
Package has a Recommends on alt-ergo which cannot be satisfied on armel.