Package: libcoq-relation-algebra

Scenario: unstable_main
Date: 2025-01-29 05:00:02

Architectures: riscv64

Summary: unsatisfied dependency on libcoq-stdlib-q99p3

libcoq-relation-algebra (1.7.11-1+b2) [PTS] [ctrl]
   ↓ libcoq-aac-tactics-j9390 | libcoq-aac-tactics-j9390
libcoq-aac-tactics (8.20.0-1) [PTS] [ctrl]
   ↓ libcoq-stdlib-q99p3
MISSING

Architectures: s390x

Summary: unsatisfied dependency on libstdlib-ocaml-r1af2

libcoq-relation-algebra (1.7.11-1+b3) [PTS] [ctrl]
   ↓ libcoq-aac-tactics-5xut9 | libcoq-aac-tactics-5xut9
libcoq-aac-tactics (8.20.0-1) [PTS] [ctrl]
   ↓ libstdlib-ocaml-r1af2
MISSING