Package: libcoq-core-ocaml-dev

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

Architectures: riscv64

Summary: unsatisfied dependency on libfindlib-ocaml-eitb4

libcoq-core-ocaml-dev (8.20.1+dfsg-1+b1) [PTS] [ctrl]
   ↓ coq (= 8.20.1+dfsg-1+b1)
coq (8.20.1+dfsg-1+b1) [PTS] [ctrl]
   ↓ libfindlib-ocaml-eitb4
MISSING