Package: hol-light

Scenario: unstable_main
Date: 2025-12-27 05:00:01

Architectures: amd64, arm64, ppc64el, riscv64

Summary: unsatisfied dependency on libcamlp-streams-ocaml-dev-0lin0

hol-light (1:3.1.0-1) [PTS] [ctrl]
   ↓ camlp5
camlp5 (8.03.01-1+b14) [PTS] [ctrl]
   ↓ libcamlp-streams-ocaml-dev-0lin0
MISSING

Architectures: armhf, i386

Summary: unsatisfied dependency on libcamlp-streams-ocaml-dev-lshm7

hol-light (1:3.1.0-1) [PTS] [ctrl]
   ↓ camlp5
camlp5 (8.03.01-1+b13) [PTS] [ctrl]
   ↓ libcamlp-streams-ocaml-dev-lshm7
MISSING

Architectures: s390x

Summary: unsatisfied dependency on libcamlp-streams-ocaml-dev-vpz28

hol-light (1:3.1.0-1) [PTS] [ctrl]
   ↓ camlp5
camlp5 (8.03.01-1+b14) [PTS] [ctrl]
   ↓ libcamlp-streams-ocaml-dev-vpz28
MISSING