Package: libwhy3-ocaml-dev

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

Architectures: amd64, arm64, ppc64el, riscv64

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

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

Architectures: armel, armhf, i386, mips64el

Summary: unsatisfied dependency on libmenhir-ocaml-dev-rs3l5

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

Architectures: s390x

Summary: unsatisfied dependency on libmenhir-ocaml-dev-payc7

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