Package: coquelicot

Scenario: src_unstable_main
Date: 2026-05-11 05:00:01

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

src:coquelicot (3.4.3-1) [PTS] [ctrl]
   ↓ libcoq-mathcomp-ssreflect
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]
   ↓ 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:coquelicot (3.4.3-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, i386, loong64

Summary: unsatisfied dependency on coq

src:coquelicot (3.4.3-1) [PTS] [ctrl]
↓ coq
MISSING

Architectures: ppc64el

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

src:coquelicot (3.4.3-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: riscv64

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

src:coquelicot (3.4.3-1) [PTS] [ctrl]
   ↓ libcoq-mathcomp-ssreflect
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]
   ↓ 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:coquelicot (3.4.3-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