Package: why3

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

Architectures: loong64

Summary: unsatisfied dependency on texlive-binaries (>= 2025.20250727)

src:why3 (1.8.2-1) [PTS] [ctrl]
   ↓ texlive-plain-generic
texlive-plain-generic (2025.20251127-2) [PTS] [ctrl]
   ↓ texlive-binaries (>= 2025.20250727)
MISSING