Package: libcoq-corn

Scenario: unstable_main
Date: 2026-10-07 05:00:01

Architectures: amd64

Summary: unsatisfied dependency on libcoq-bignums-iri34

libcoq-corn (8.20.0-1+b14) [PTS] [ctrl]
   ↓ libcoq-bignums-iri34
MISSING

Architectures: arm64

Summary: unsatisfied dependency on libcoq-bignums-93v34

libcoq-corn (8.20.0-1+b14) [PTS] [ctrl]
   ↓ libcoq-bignums-93v34
MISSING

Architectures: ppc64el

Summary: unsatisfied dependency on libcoq-bignums-e87f9

libcoq-corn (8.20.0-1+b12) [PTS] [ctrl]
   ↓ libcoq-bignums-e87f9
MISSING

Architectures: riscv64

Summary: unsatisfied dependency on libcoq-bignums-gozd9

libcoq-corn (8.20.0-1+b10) [PTS] [ctrl]
   ↓ libcoq-bignums-gozd9
MISSING

Architectures: s390x

Summary: unsatisfied dependency on libcoq-bignums-2inf9

libcoq-corn (8.20.0-1+b13) [PTS] [ctrl]
   ↓ libcoq-bignums-2inf9
MISSING