Package: why3

Scenario: src_unstable_main
Date: 2025-12-31 05:00:02

Architectures: loong64

Summary: unsatisfied dependency on menhir (>= 20200123)

src:why3 (1.8.2-1) [PTS] [ctrl]
   ↓ menhir (>= 20200123)
MISSING