Package: mathcomp-algebra-tactics

Scenario: src_unstable_main
Date: 2026-06-08 05:00:01

Architectures: amd64

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

src:mathcomp-algebra-tactics (1.2.4-1) [PTS] [ctrl]
   ↓ libcoq-elpi
libcoq-elpi (2.5.0-1.2+b4) [PTS] [ctrl]
   ↓ libelpi-ocaml-dev
libelpi-ocaml-dev (2.0.7-3+b3) [PTS] [ctrl]
   ↓ libppx-deriving-ocaml-dev-zr775
MISSING

Architectures: arm64

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

src:mathcomp-algebra-tactics (1.2.4-1) [PTS] [ctrl]
   ↓ libcoq-elpi
libcoq-elpi (2.5.0-1.2+b4) [PTS] [ctrl]
   ↓ libelpi-ocaml-dev
libelpi-ocaml-dev (2.0.7-3+b3) [PTS] [ctrl]
   ↓ libppx-deriving-ocaml-dev-gkms3
MISSING

Architectures: armhf, i386, loong64

Summary: unsatisfied dependency on coq

src:mathcomp-algebra-tactics (1.2.4-1) [PTS] [ctrl]
   ↓ coq
MISSING

Architectures: ppc64el

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

src:mathcomp-algebra-tactics (1.2.4-1) [PTS] [ctrl]
   ↓ libcoq-elpi
libcoq-elpi (2.5.0-1.2+b2) [PTS] [ctrl]
   ↓ libelpi-ocaml-dev
libelpi-ocaml-dev (2.0.7-3) [PTS] [ctrl]
   ↓ libppx-deriving-ocaml-dev-f8880
MISSING

Architectures: riscv64

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

src:mathcomp-algebra-tactics (1.2.4-1) [PTS] [ctrl]
   ↓ libcoq-elpi
libcoq-elpi (2.5.0-1.2+b2) [PTS] [ctrl]
   ↓ libelpi-ocaml-dev
libelpi-ocaml-dev (2.0.7-3) [PTS] [ctrl]
   ↓ libppx-deriving-ocaml-dev-oyj44
MISSING

Architectures: s390x

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

src:mathcomp-algebra-tactics (1.2.4-1) [PTS] [ctrl]
   ↓ libcoq-elpi
libcoq-elpi (2.5.0-1.2+b2) [PTS] [ctrl]
   ↓ libelpi-ocaml-dev
libelpi-ocaml-dev (2.0.7-3) [PTS] [ctrl]
   ↓ libppx-deriving-ocaml-dev-1ddy7
MISSING