Package: libwhy3-ocaml-dev

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

Architectures: amd64

Summary: unsatisfied dependency on libstdlib-ocaml-dev-7l663

libwhy3-ocaml-dev (1.8.0-1) [PTS] [ctrl]
   ↓ libmenhir-ocaml-dev-7ewm9 | libmenhir-ocaml-dev-7ewm9
libmenhir-ocaml-dev (20240715+ds-1) [PTS] [ctrl]
   ↓ libstdlib-ocaml-dev-7l663
MISSING

Architectures: arm64

Summary: unsatisfied dependency on libstdlib-ocaml-dev-0d647

libwhy3-ocaml-dev (1.8.0-1) [PTS] [ctrl]
   ↓ libmenhir-ocaml-dev-7ewm9 | libmenhir-ocaml-dev-7ewm9
libmenhir-ocaml-dev (20240715+ds-1) [PTS] [ctrl]
   ↓ libstdlib-ocaml-dev-0d647
MISSING

Architectures: armel, armhf, i386, mips64el

Summary: unsatisfied dependency on libstdlib-ocaml-dev-bkvu1

libwhy3-ocaml-dev (1.8.0-1) [PTS] [ctrl]
   ↓ libmenhir-ocaml-dev-rs3l5 | libmenhir-ocaml-dev-rs3l5
libmenhir-ocaml-dev (20240715+ds-1) [PTS] [ctrl]
   ↓ libstdlib-ocaml-dev-bkvu1
MISSING

Architectures: ppc64el

Summary: unsatisfied dependency on libmenhir-ocaml-dev-7ewm9

libwhy3-ocaml-dev (1.8.0-1) [PTS] [ctrl]
   ↓ libmenhir-ocaml-dev-7ewm9
MISSING

Architectures: riscv64

Summary: unsatisfied dependency on libstdlib-ocaml-dev-vvst5

libwhy3-ocaml-dev (1.8.0-1) [PTS] [ctrl]
   ↓ libmenhir-ocaml-dev-7ewm9 | libmenhir-ocaml-dev-7ewm9
libmenhir-ocaml-dev (20240715+ds-1) [PTS] [ctrl]
   ↓ libstdlib-ocaml-dev-vvst5
MISSING

Architectures: s390x

Summary: unsatisfied dependency on libstdlib-ocaml-dev-r1af2

libwhy3-ocaml-dev (1.8.0-1) [PTS] [ctrl]
   ↓ libmenhir-ocaml-dev-payc7 | libmenhir-ocaml-dev-payc7
libmenhir-ocaml-dev (20240715+ds-1) [PTS] [ctrl]
   ↓ libstdlib-ocaml-dev-r1af2
MISSING