Package: libcoq-quickchick
Scenario: unstable_mainDate: 2024-09-01 05:00:04
Summary: unsatisfied dependency on libfindlib-ocaml-9adu2
libcoq-quickchick (2.0.3-3)
[PTS]
[ctrl]
↓ libcoq-mathcomp-ssreflect-8yq65 | libcoq-mathcomp-ssreflect-8yq65 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-quickchick (2.0.3-3)
[PTS]
[ctrl]
↓ libcoq-mathcomp-ssreflect-fw740 | libcoq-mathcomp-ssreflect-fw740 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 |