Package: libcoq-mathcomp-ssreflect

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

Architectures: armhf

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

Architectures: i386

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