Package: libcoq-core-ocaml

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

Architectures: armhf

Summary: unsatisfied dependency on libfindlib-ocaml-9adu2

libcoq-core-ocaml (8.19.1+dfsg-3) [PTS] [ctrl]
   ↓ libfindlib-ocaml-9adu2
MISSING

Architectures: i386

Summary: unsatisfied dependency on libfindlib-ocaml-goqu1

libcoq-core-ocaml (8.19.1+dfsg-3) [PTS] [ctrl]
   ↓ libfindlib-ocaml-goqu1
MISSING