Package: coquelicot

Scenario: src_unstable_main
Date: 2026-07-10 05:00:02

Architectures: amd64

Summary: unsatisfied dependency on libcoq-stdlib-o9940

src:coquelicot (3.4.3-1) [PTS] [ctrl]
   ↓ libcoq-mathcomp-ssreflect
libcoq-mathcomp-ssreflect (2.3.0-1+b17) [PTS] [ctrl]
   ↓ libcoq-stdlib-o9940
MISSING

Architectures: arm64

Summary: unsatisfied dependency on libcoq-stdlib-jr710

src:coquelicot (3.4.3-1) [PTS] [ctrl]
   ↓ libcoq-mathcomp-ssreflect
libcoq-mathcomp-ssreflect (2.3.0-1+b17) [PTS] [ctrl]
   ↓ libcoq-stdlib-jr710
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 libcoq-stdlib-vsu61

src:coquelicot (3.4.3-1) [PTS] [ctrl]
   ↓ libcoq-mathcomp-ssreflect
libcoq-mathcomp-ssreflect (2.3.0-1+b15) [PTS] [ctrl]
   ↓ libcoq-stdlib-vsu61
MISSING

Architectures: riscv64

Summary: unsatisfied dependency on libcoq-stdlib-awro6

src:coquelicot (3.4.3-1) [PTS] [ctrl]
   ↓ libcoq-mathcomp-ssreflect
libcoq-mathcomp-ssreflect (2.3.0-1+b14) [PTS] [ctrl]
   ↓ libcoq-stdlib-awro6
MISSING

Architectures: s390x

Summary: unsatisfied dependency on libcoq-stdlib-pibk3

src:coquelicot (3.4.3-1) [PTS] [ctrl]
   ↓ libcoq-mathcomp-ssreflect
libcoq-mathcomp-ssreflect (2.3.0-1+b15) [PTS] [ctrl]
   ↓ libcoq-stdlib-pibk3
MISSING