Package: libcoq-core-ocaml
Scenario: unstable_mainDate: 2024-09-01 05:00:04
Summary: unsatisfied dependency on libfindlib-ocaml-9adu2
libcoq-core-ocaml (8.19.1+dfsg-3)
[PTS]
[ctrl]
↓ libfindlib-ocaml-9adu2 MISSING |
Summary: unsatisfied dependency on libfindlib-ocaml-goqu1
libcoq-core-ocaml (8.19.1+dfsg-3)
[PTS]
[ctrl]
↓ libfindlib-ocaml-goqu1 MISSING |