Package: hol-light

Scenario: unstable_main
Date: 2025-09-11 05:00:01

Architectures: amd64

Summary: unsatisfied dependency on liblwt-ocaml-mo111

hol-light (1:3.0.0-2+b9) [PTS] [ctrl]
   ↓ camlp5
camlp5 (8.03.01-1+b9) [PTS] [ctrl]
   ↓ liblogs-ocaml-dev-oeeh1 | liblogs-ocaml-dev-oeeh1
liblogs-ocaml-dev (0.9.0-1+b2) [PTS] [ctrl]
   ↓ libjs-of-ocaml-dev-kvyf9 | libjs-of-ocaml-dev-kvyf9
libjs-of-ocaml-dev (5.9.1-1+b10) [PTS] [ctrl]
   ↓ libjs-of-ocaml-kvyf9 | libjs-of-ocaml-kvyf9
libjs-of-ocaml (5.9.1-1+b10) [PTS] [ctrl]
   ↓ liblwt-ocaml-mo111
MISSING

Architectures: arm64

Summary: unsatisfied dependency on liblwt-ocaml-lknv3

hol-light (1:3.0.0-2+b9) [PTS] [ctrl]
   ↓ camlp5
camlp5 (8.03.01-1+b9) [PTS] [ctrl]
   ↓ liblogs-ocaml-dev-koi68 | liblogs-ocaml-dev-koi68
liblogs-ocaml-dev (0.9.0-1+b2) [PTS] [ctrl]
   ↓ libjs-of-ocaml-dev-xeqk9 | libjs-of-ocaml-dev-xeqk9
libjs-of-ocaml-dev (5.9.1-1+b9) [PTS] [ctrl]
   ↓ libjs-of-ocaml-xeqk9 | libjs-of-ocaml-xeqk9
libjs-of-ocaml (5.9.1-1+b9) [PTS] [ctrl]
   ↓ liblwt-ocaml-lknv3
MISSING

Architectures: armel, armhf, i386

Summary: unsatisfied dependency on liblwt-ocaml-2k4j6

hol-light (1:3.0.0-2+b9) [PTS] [ctrl]
   ↓ camlp5
camlp5 (8.03.01-1+b9) [PTS] [ctrl]
   ↓ liblogs-ocaml-dev-qslp2 | liblogs-ocaml-dev-qslp2
liblogs-ocaml-dev (0.9.0-1+b2) [PTS] [ctrl]
   ↓ libjs-of-ocaml-dev-6pkf4 | libjs-of-ocaml-dev-6pkf4
libjs-of-ocaml-dev (5.9.1-1+b9) [PTS] [ctrl]
   ↓ libjs-of-ocaml-6pkf4 | libjs-of-ocaml-6pkf4
libjs-of-ocaml (5.9.1-1+b9) [PTS] [ctrl]
   ↓ liblwt-ocaml-2k4j6
MISSING

Architectures: mips64el

Summary: unsatisfied dependency on liblwt-ocaml-2k4j6

hol-light (1:3.0.0-2+b10) [PTS] [ctrl]
   ↓ camlp5
camlp5 (8.03.01-1+b8) [PTS] [ctrl]
   ↓ liblogs-ocaml-dev-qslp2 | liblogs-ocaml-dev-qslp2
liblogs-ocaml-dev (0.9.0-1+b2) [PTS] [ctrl]
   ↓ libjs-of-ocaml-dev-6pkf4 | libjs-of-ocaml-dev-6pkf4
libjs-of-ocaml-dev (5.9.1-1+b9) [PTS] [ctrl]
   ↓ libjs-of-ocaml-6pkf4 | libjs-of-ocaml-6pkf4
libjs-of-ocaml (5.9.1-1+b9) [PTS] [ctrl]
   ↓ liblwt-ocaml-2k4j6
MISSING

Architectures: ppc64el

Summary: unsatisfied dependency on liblwt-ocaml-xop13

hol-light (1:3.0.0-2+b9) [PTS] [ctrl]
   ↓ camlp5
camlp5 (8.03.01-1+b9) [PTS] [ctrl]
   ↓ liblogs-ocaml-dev-9iwg7 | liblogs-ocaml-dev-9iwg7
liblogs-ocaml-dev (0.9.0-1+b2) [PTS] [ctrl]
   ↓ libjs-of-ocaml-dev-lkz33 | libjs-of-ocaml-dev-lkz33
libjs-of-ocaml-dev (5.9.1-1+b9) [PTS] [ctrl]
   ↓ libjs-of-ocaml-lkz33 | libjs-of-ocaml-lkz33
libjs-of-ocaml (5.9.1-1+b9) [PTS] [ctrl]
   ↓ liblwt-ocaml-xop13
MISSING

Architectures: riscv64

Summary: unsatisfied dependency on liblwt-ocaml-o7rn4

hol-light (1:3.0.0-2+b9) [PTS] [ctrl]
   ↓ camlp5
camlp5 (8.03.01-1+b9) [PTS] [ctrl]
   ↓ liblogs-ocaml-dev-zvhv2 | liblogs-ocaml-dev-zvhv2
liblogs-ocaml-dev (0.9.0-1+b2) [PTS] [ctrl]
   ↓ libjs-of-ocaml-dev-r3kk8 | libjs-of-ocaml-dev-r3kk8
libjs-of-ocaml-dev (5.9.1-1+b9) [PTS] [ctrl]
   ↓ libjs-of-ocaml-r3kk8 | libjs-of-ocaml-r3kk8
libjs-of-ocaml (5.9.1-1+b9) [PTS] [ctrl]
   ↓ liblwt-ocaml-o7rn4
MISSING

Architectures: s390x

Summary: unsatisfied dependency on liblwt-ocaml-5h6q0

hol-light (1:3.0.0-2+b9) [PTS] [ctrl]
   ↓ camlp5
camlp5 (8.03.01-1+b9) [PTS] [ctrl]
   ↓ liblogs-ocaml-dev-dfy27 | liblogs-ocaml-dev-dfy27
liblogs-ocaml-dev (0.9.0-1+b2) [PTS] [ctrl]
   ↓ libjs-of-ocaml-dev-e7qf1 | libjs-of-ocaml-dev-e7qf1
libjs-of-ocaml-dev (5.9.1-1+b10) [PTS] [ctrl]
   ↓ libjs-of-ocaml-e7qf1 | libjs-of-ocaml-e7qf1
libjs-of-ocaml (5.9.1-1+b10) [PTS] [ctrl]
   ↓ liblwt-ocaml-5h6q0
MISSING