Package: libcoq-coqeal

Scenario: unstable_main
Date: 2025-01-31 05:00:01

Architectures: s390x

Summary: unsatisfied dependency on libcoq-bignums-vy3z0

libcoq-coqeal (2.0.3-1+b2) [PTS] [ctrl]
   ↓ libcoq-bignums-vy3z0
MISSING