Package: libcoq-unimath

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

Architectures: riscv64

Summary: unsatisfied dependency on libcoq-stdlib-q99p3

libcoq-unimath (20240923-2) [PTS] [ctrl]
   ↓ libcoq-stdlib-q99p3
MISSING