Package: libcoq-quickchick

Scenario: unstable_main
Date: 2024-09-01 05:00:04

Architectures: armhf

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

Architectures: i386

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