Package: libwhy3-ocaml-dev

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

Architectures: amd64, arm64, ppc64el, riscv64

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

libwhy3-ocaml-dev (1.8.2-1) [PTS] [ctrl]
   ↓ libmenhir-ocaml-dev-4ogd3 | libmenhir-ocaml-dev-4ogd3
libmenhir-ocaml-dev (20250912+ds-1) [PTS] [ctrl]
   ↓ libstdlib-ocaml-dev-m4xw9
MISSING

Architectures: armhf, i386

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

libwhy3-ocaml-dev (1.8.2-1) [PTS] [ctrl]
   ↓ libmenhir-ocaml-dev-nhpy3 | libmenhir-ocaml-dev-nhpy3
libmenhir-ocaml-dev (20250912+ds-1) [PTS] [ctrl]
   ↓ libstdlib-ocaml-dev-ye7o9
MISSING

Architectures: s390x

Summary: unsatisfied dependency on libstdlib-ocaml-dev-2d5j3

libwhy3-ocaml-dev (1.8.2-1) [PTS] [ctrl]
   ↓ libmenhir-ocaml-dev-rsg80 | libmenhir-ocaml-dev-rsg80
libmenhir-ocaml-dev (20250912+ds-1) [PTS] [ctrl]
   ↓ libstdlib-ocaml-dev-2d5j3
MISSING