Package: mathcomp-algebra-tactics

Scenario: cross_unstable_main_amd64
Date: 2026-07-12 05:00:01

Architectures: arm64

Summary: unsatisfied dependency on libcompiler-libs-ocaml-dev-5mea7

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]
   ↓ libcompiler-libs-ocaml-dev-5mea7
MISSING

Architectures: armhf

Summary: unsatisfied dependency on coq

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

Architectures: ppc64el

Summary: unsatisfied dependency on libcompiler-libs-ocaml-dev-bw0x9

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]
   ↓ libcompiler-libs-ocaml-dev-bw0x9
MISSING

Architectures: s390x

Summary: unsatisfied dependency on libcompiler-libs-ocaml-dev-wlbk2

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]
   ↓ libcompiler-libs-ocaml-dev-wlbk2
MISSING