Package: coq

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

Architectures: riscv64

Summary: unsatisfied dependency on libfindlib-ocaml-eitb4

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