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