Package: mathcomp-algebra-tactics

Scenario: cross_unstable_main_amd64
Date: 2025-10-29 05:00:01

Architectures: arm64

Summary: unsatisfied dependency on libcoq-mathcomp-algebra-s1gg0

src:mathcomp-algebra-tactics (1.2.4-1) [PTS] [ctrl]
   ↓ libcoq-mathcomp-zify
libcoq-mathcomp-zify (1.5.0+2.0+8.16-4+b12) [PTS] [ctrl]
   ↓ libcoq-mathcomp-algebra-s1gg0
MISSING

Architectures: armel, armhf, mips64el

Summary: unsatisfied dependency on coq

src:mathcomp-algebra-tactics (1.2.4-1) [PTS] [ctrl]
   ↓ coq
MISSING

Architectures: ppc64el

Summary: unsatisfied dependency on libcoq-mathcomp-algebra-7f293

src:mathcomp-algebra-tactics (1.2.4-1) [PTS] [ctrl]
   ↓ libcoq-mathcomp-zify
libcoq-mathcomp-zify (1.5.0+2.0+8.16-4+b12) [PTS] [ctrl]
   ↓ libcoq-mathcomp-algebra-7f293
MISSING

Architectures: s390x

Summary: unsatisfied dependency on libcoq-mathcomp-algebra-u9d39

src:mathcomp-algebra-tactics (1.2.4-1) [PTS] [ctrl]
   ↓ libcoq-mathcomp-zify
libcoq-mathcomp-zify (1.5.0+2.0+8.16-4+b12) [PTS] [ctrl]
   ↓ libcoq-mathcomp-algebra-u9d39
MISSING