Package: hol-light

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

Architectures: amd64

Summary: unsatisfied dependency on libastring-ocaml-dev-8wc68

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

Architectures: arm64

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

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

Architectures: armel, armhf, i386

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

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

Architectures: mips64el

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

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

Architectures: ppc64el

Summary: unsatisfied dependency on libastring-ocaml-dev-4lu00

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

Architectures: riscv64

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

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

Architectures: s390x

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

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