Package: coq-hierarchy-builder

Scenario: cross_unstable_main_amd64
Date: 2022-11-30 05:00:01

Architectures: arm64, armhf, ppc64el, s390x

Summary: unsatisfied dependency on ocaml-nox

src:coq-hierarchy-builder (1.4.0-2) [PTS] [ctrl]
   ↓ coq
coq (8.16.1+dfsg-1) [PTS] [ctrl]
   ↓ ocaml-nox
MISSING

Architectures: armel, mips64el, mipsel

Summary: unsatisfied dependency on coq

src:coq-hierarchy-builder (1.4.0-2) [PTS] [ctrl]
   ↓ coq
MISSING