Package: why3

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

Architectures: amd64, arm64, ppc64el, riscv64

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

src:why3 (1.8.2-1) [PTS] [ctrl]
   ↓ libmenhir-ocaml-dev (>= 20200123)
libmenhir-ocaml-dev (20250912+ds-1) [PTS] [ctrl]
   ↓ libstdlib-ocaml-dev-m4xw9
MISSING

Architectures: armhf, i386

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

src:why3 (1.8.2-1) [PTS] [ctrl]
   ↓ libmenhir-ocaml-dev (>= 20200123)
libmenhir-ocaml-dev (20250912+ds-1) [PTS] [ctrl]
   ↓ libstdlib-ocaml-dev-ye7o9
MISSING

Architectures: loong64

Summary: unsatisfied dependency on libharfbuzz0b (>= 2.6.0)

src:why3 (1.8.2-1) [PTS] [ctrl]
   ↓ texlive-bibtex-extra
texlive-bibtex-extra (2025.20251127-2) [PTS] [ctrl]
   ↓ texlive-binaries (>= 2025.20250727)
texlive-binaries (2025.20250727.75242+ds-5) [PTS] [ctrl]
   ↓ libharfbuzz0b (>= 2.6.0)
MISSING

Architectures: s390x

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

src:why3 (1.8.2-1) [PTS] [ctrl]
   ↓ libmenhir-ocaml-dev (>= 20200123)
libmenhir-ocaml-dev (20250912+ds-1) [PTS] [ctrl]
   ↓ libstdlib-ocaml-dev-2d5j3
MISSING