Package: hol-light

Scenario: unstable_main
Date: 2025-01-30 05:00:02

Architectures: s390x

Summary: unsatisfied dependency on libastring-ocaml-dev-n0h55

hol-light (1:3.0.0-2+b2) [PTS] [ctrl]
   ↓ camlp5
camlp5 (8.03.01-1+b1) [PTS] [ctrl]
   ↓ libastring-ocaml-dev-n0h55
MISSING