Package: libwhy3-ocaml-dev

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

Architectures: riscv64

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

libwhy3-ocaml-dev (1.8.0-1) [PTS] [ctrl]
   ↓ libmenhir-ocaml-dev-7ewm9
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