Package: libcoq-ocaml-dev

Scenario: unstable_main
Date: 2022-09-28 05:00:04

Architectures: amd64, arm64, armhf, i386, ppc64el, s390x

Summary: unsatisfied dependency on coq (= 8.15.0+dfsg-1+b1)

libcoq-ocaml-dev (8.15.0+dfsg-1+b1) [PTS] [ctrl]
   ↓ coq (= 8.15.0+dfsg-1+b1)
MISSING