Package: libcoq-aac-tactics

Scenario: unstable_main
Date: 2025-01-27 05:00:01

Architectures: amd64

Summary: unsatisfied dependency on libstdlib-ocaml-7l663

libcoq-aac-tactics (8.20.0-1) [PTS] [ctrl]
   ↓ libstdlib-ocaml-7l663
MISSING

Architectures: arm64

Summary: unsatisfied dependency on libstdlib-ocaml-0d647

libcoq-aac-tactics (8.20.0-1) [PTS] [ctrl]
   ↓ libstdlib-ocaml-0d647
MISSING

Architectures: ppc64el

Summary: unsatisfied dependency on libstdlib-ocaml-2a614

libcoq-aac-tactics (8.20.0-1) [PTS] [ctrl]
   ↓ libstdlib-ocaml-2a614
MISSING

Architectures: riscv64

Summary: unsatisfied dependency on libstdlib-ocaml-vvst5

libcoq-aac-tactics (8.20.0-1) [PTS] [ctrl]
   ↓ libstdlib-ocaml-vvst5
MISSING

Architectures: s390x

Summary: unsatisfied dependency on libstdlib-ocaml-r1af2

libcoq-aac-tactics (8.20.0-1) [PTS] [ctrl]
   ↓ libstdlib-ocaml-r1af2
MISSING