Package: mathcomp-analysis

Scenario: src_unstable_main
Date: 2026-08-12 05:00:01

Summary: unsatisfied dependency on libcoq-mathcomp-ssreflect-crmi8

src:mathcomp-analysis (1.16.0-2) [PTS] [ctrl]
↓ libcoq-mathcomp-bigenough
libcoq-mathcomp-bigenough (1.0.4-2+b1) [PTS] [ctrl]
↓ libcoq-mathcomp-ssreflect-crmi8
MISSING

Architectures: arm64

Summary: unsatisfied dependency on libcoq-mathcomp-ssreflect-e9s75

src:mathcomp-analysis (1.16.0-2) [PTS] [ctrl]
↓ libcoq-mathcomp-bigenough
libcoq-mathcomp-bigenough (1.0.4-2) [PTS] [ctrl]
↓ libcoq-mathcomp-ssreflect-e9s75
MISSING

Architectures: armhf, i386, loong64

Summary: unsatisfied dependency on libcoq-elpi

src:mathcomp-analysis (1.16.0-2) [PTS] [ctrl]
↓ libcoq-elpi
MISSING

Architectures: ppc64el

Summary: unsatisfied dependency on libcoq-mathcomp-ssreflect-vg6f1

src:mathcomp-analysis (1.16.0-2) [PTS] [ctrl]
↓ libcoq-mathcomp-bigenough
libcoq-mathcomp-bigenough (1.0.4-2) [PTS] [ctrl]
↓ libcoq-mathcomp-ssreflect-vg6f1
MISSING

Architectures: riscv64

Summary: unsatisfied dependency on libcoq-hierarchy-builder-fqpt4

src:mathcomp-analysis (1.16.0-2) [PTS] [ctrl]
   ↓ libcoq-mathcomp-algebra
libcoq-mathcomp-algebra (2.3.0-1+b14) [PTS] [ctrl]
   ↓ libcoq-mathcomp-fingroup (= 2.3.0-1+b14)
libcoq-mathcomp-fingroup (2.3.0-1+b14) [PTS] [ctrl]
   ↓ libcoq-mathcomp-ssreflect (= 2.3.0-1+b14)
libcoq-mathcomp-ssreflect (2.3.0-1+b14) [PTS] [ctrl]
   ↓ libcoq-hierarchy-builder-fqpt4
MISSING

Architectures: s390x

Summary: unsatisfied dependency on libcoq-mathcomp-ssreflect-8k7h2

src:mathcomp-analysis (1.16.0-2) [PTS] [ctrl]
↓ libcoq-mathcomp-bigenough
libcoq-mathcomp-bigenough (1.0.4-2) [PTS] [ctrl]
↓ libcoq-mathcomp-ssreflect-8k7h2
MISSING