Package: hol-light

Scenario: src_unstable_main
Date: 2025-12-26 05:00:01

Architectures: loong64

Summary: unsatisfied dependency on camlp5 (>= 8.02)

src:hol-light (1:3.1.0-1) [PTS] [ctrl]
   ↓ camlp5 (>= 8.02)
MISSING