Package: coq-extructures

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

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

src:coq-extructures (0.5.0-1) [PTS] [ctrl]
   ↓ libcoq-mathcomp-ssreflect
libcoq-mathcomp-ssreflect (2.3.0-1+b17) [PTS] [ctrl]
   ↓ libcoq-hierarchy-builder-x85g0 | libcoq-hierarchy-builder-x85g0
libcoq-hierarchy-builder (1.8.1-1+b12) [PTS] [ctrl]
   ↓ libcoq-elpi-ph528 | libcoq-elpi-ph528
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

Summary: unsatisfied dependency on coq

src:coq-extructures (0.5.0-1) [PTS] [ctrl]
↓ coq
MISSING

Architectures: ppc64el

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

src:coq-extructures (0.5.0-1) [PTS] [ctrl]
   ↓ libcoq-mathcomp-ssreflect
libcoq-mathcomp-ssreflect (2.3.0-1+b15) [PTS] [ctrl]
   ↓ libcoq-hierarchy-builder-qz6d0 | libcoq-hierarchy-builder-qz6d0
libcoq-hierarchy-builder (1.8.1-1+b11) [PTS] [ctrl]
   ↓ libcoq-elpi-ttuc1 | libcoq-elpi-ttuc1
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: s390x

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

src:coq-extructures (0.5.0-1) [PTS] [ctrl]
   ↓ libcoq-mathcomp-ssreflect
libcoq-mathcomp-ssreflect (2.3.0-1+b15) [PTS] [ctrl]
   ↓ libcoq-hierarchy-builder-qi7c3 | libcoq-hierarchy-builder-qi7c3
libcoq-hierarchy-builder (1.8.1-1+b11) [PTS] [ctrl]
   ↓ libcoq-elpi-wlsj5 | libcoq-elpi-wlsj5
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