Package: coq-dpdgraph-tools

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

Architectures: amd64, arm64, ppc64el, riscv64

Summary: unsatisfied dependency on libstdlib-ocaml-m4xw9

coq-dpdgraph-tools (1.0+8.20-1+b4) [PTS] [ctrl]
   ↓ libstdlib-ocaml-m4xw9
MISSING

Architectures: s390x

Summary: unsatisfied dependency on libstdlib-ocaml-2d5j3

coq-dpdgraph-tools (1.0+8.20-1+b4) [PTS] [ctrl]
   ↓ libstdlib-ocaml-2d5j3
MISSING