Package: libcoq-mathcomp-algebra-tactics

Scenario: unstable_main
Date: 2026-06-16 05:00:01

Architectures: amd64

Summary: unsatisfied dependency on libppx-deriving-ocaml-zr775

libcoq-mathcomp-algebra-tactics (1.2.4-1+b14) [PTS] [ctrl]
   ↓ libcoq-elpi-xcgz8 | libcoq-elpi-xcgz8
libcoq-elpi (2.5.0-1.2+b4) [PTS] [ctrl]
   ↓ libppx-deriving-ocaml-zr775
MISSING

Architectures: arm64

Summary: unsatisfied dependency on libppx-deriving-ocaml-gkms3

libcoq-mathcomp-algebra-tactics (1.2.4-1+b14) [PTS] [ctrl]
   ↓ libcoq-elpi-ph528 | libcoq-elpi-ph528
libcoq-elpi (2.5.0-1.2+b4) [PTS] [ctrl]
   ↓ libppx-deriving-ocaml-gkms3
MISSING

Architectures: ppc64el

Summary: unsatisfied dependency on libppx-deriving-ocaml-f8880

libcoq-mathcomp-algebra-tactics (1.2.4-1+b12) [PTS] [ctrl]
   ↓ libcoq-elpi-ttuc1 | libcoq-elpi-ttuc1
libcoq-elpi (2.5.0-1.2+b2) [PTS] [ctrl]
   ↓ libppx-deriving-ocaml-f8880
MISSING

Architectures: riscv64

Summary: unsatisfied dependency on libppx-deriving-ocaml-oyj44

libcoq-mathcomp-algebra-tactics (1.2.4-1+b12) [PTS] [ctrl]
   ↓ libcoq-elpi-bkmh8 | libcoq-elpi-bkmh8
libcoq-elpi (2.5.0-1.2+b2) [PTS] [ctrl]
   ↓ libppx-deriving-ocaml-oyj44
MISSING

Architectures: s390x

Summary: unsatisfied dependency on libppx-deriving-ocaml-1ddy7

libcoq-mathcomp-algebra-tactics (1.2.4-1+b12) [PTS] [ctrl]
   ↓ libcoq-elpi-wlsj5 | libcoq-elpi-wlsj5
libcoq-elpi (2.5.0-1.2+b2) [PTS] [ctrl]
   ↓ libppx-deriving-ocaml-1ddy7
MISSING