Package: libcoq-unimath

Scenario: unstable_main
Date: 2025-12-29 05:00:01

Architectures: riscv64

Summary: unsatisfied dependency on libcoq-stdlib-wthf1

libcoq-unimath (20240923-2+b4) [PTS] [ctrl]
   ↓ libcoq-stdlib-wthf1
MISSING