Package: psmt2-frontend

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

Architectures: amd64, arm64, ppc64el, riscv64

Summary: unsatisfied dependency on libstdlib-ocaml-m4xw9

psmt2-frontend (0.4.0-4+b3) [PTS] [ctrl]
   ↓ libpsmt2-frontend-ocaml (= 0.4.0-4+b3)
libpsmt2-frontend-ocaml (0.4.0-4+b3) [PTS] [ctrl]
   ↓ libstdlib-ocaml-m4xw9
MISSING

Architectures: armhf, i386

Summary: unsatisfied dependency on libstdlib-ocaml-ye7o9

psmt2-frontend (0.4.0-4+b3) [PTS] [ctrl]
   ↓ libpsmt2-frontend-ocaml (= 0.4.0-4+b3)
libpsmt2-frontend-ocaml (0.4.0-4+b3) [PTS] [ctrl]
   ↓ libstdlib-ocaml-ye7o9
MISSING

Architectures: s390x

Summary: unsatisfied dependency on libstdlib-ocaml-2d5j3

psmt2-frontend (0.4.0-4+b3) [PTS] [ctrl]
   ↓ libpsmt2-frontend-ocaml (= 0.4.0-4+b3)
libpsmt2-frontend-ocaml (0.4.0-4+b3) [PTS] [ctrl]
   ↓ libstdlib-ocaml-2d5j3
MISSING