Package: frama-c

Scenario: src_unstable_main
Date: 2025-12-27 05:00:01

Architectures: amd64, arm64, ppc64el

Summary: unsatisfied dependency on libstdlib-ocaml-dev-m4xw9

src:frama-c (20220511-manganese-5) [PTS] [ctrl]
↓ libyojson-ocaml-dev
libyojson-ocaml-dev (2.2.2-1+b2) [PTS] [ctrl]
↓ libstdlib-ocaml-dev-m4xw9
MISSING

Architectures: armhf, i386

Summary: unsatisfied dependency on libstdlib-ocaml-dev-ye7o9

src:frama-c (20220511-manganese-5) [PTS] [ctrl]
↓ libyojson-ocaml-dev
libyojson-ocaml-dev (2.2.2-1+b2) [PTS] [ctrl]
↓ libstdlib-ocaml-dev-ye7o9
MISSING

Architectures: loong64

Summary: unsatisfied dependency on graphviz

src:frama-c (20220511-manganese-5) [PTS] [ctrl]
↓ graphviz
MISSING

Architectures: riscv64

Summary: unsatisfied dependency on libcompiler-libs-ocaml-dev-tq1n2

src:frama-c (20220511-manganese-5) [PTS] [ctrl]
↓ libzarith-ocaml-dev
libzarith-ocaml-dev (1.14-1+b2) [PTS] [ctrl]
↓ libcompiler-libs-ocaml-dev-tq1n2
MISSING

Architectures: s390x

Summary: unsatisfied dependency on libstdlib-ocaml-dev-2d5j3

src:frama-c (20220511-manganese-5) [PTS] [ctrl]
↓ libyojson-ocaml-dev
libyojson-ocaml-dev (2.2.2-1+b2) [PTS] [ctrl]
↓ libstdlib-ocaml-dev-2d5j3
MISSING