Package: libcoq-mathcomp-bigenough

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

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

libcoq-mathcomp-bigenough (1.0.2-1+b12) [PTS] [ctrl]
   ↓ libcoq-mathcomp-ssreflect-v1vz2 | libcoq-mathcomp-ssreflect-v1vz2
libcoq-mathcomp-ssreflect (2.3.0-1+b17) [PTS] [ctrl]
   ↓ libcoq-hierarchy-builder-upm64 | libcoq-hierarchy-builder-upm64
libcoq-hierarchy-builder (1.8.1-1+b12) [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-bigenough (1.0.2-1+b12) [PTS] [ctrl]
   ↓ libcoq-mathcomp-ssreflect-5azz0 | libcoq-mathcomp-ssreflect-5azz0
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]
   ↓ libppx-deriving-ocaml-gkms3
MISSING

Architectures: ppc64el

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

libcoq-mathcomp-bigenough (1.0.2-1+b12) [PTS] [ctrl]
   ↓ libcoq-mathcomp-ssreflect-y5hi1 | libcoq-mathcomp-ssreflect-y5hi1
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]
   ↓ libppx-deriving-ocaml-f8880
MISSING

Architectures: riscv64

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

libcoq-mathcomp-bigenough (1.0.2-1+b11) [PTS] [ctrl]
   ↓ libcoq-mathcomp-ssreflect-09ud3 | libcoq-mathcomp-ssreflect-09ud3
libcoq-mathcomp-ssreflect (2.3.0-1+b14) [PTS] [ctrl]
   ↓ libcoq-hierarchy-builder-fqpt4 | libcoq-hierarchy-builder-fqpt4
libcoq-hierarchy-builder (1.8.1-1+b10) [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-bigenough (1.0.2-1+b11) [PTS] [ctrl]
   ↓ libcoq-mathcomp-ssreflect-txrp5 | libcoq-mathcomp-ssreflect-txrp5
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]
   ↓ libppx-deriving-ocaml-1ddy7
MISSING