Package: psmt2-frontend

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

Architectures: amd64

Summary: unsatisfied dependency on libstdlib-ocaml-7l663

psmt2-frontend (0.4.0-4+b1) [PTS] [ctrl]
   ↓ libpsmt2-frontend-ocaml (= 0.4.0-4+b1)
libpsmt2-frontend-ocaml (0.4.0-4+b1) [PTS] [ctrl]
   ↓ libstdlib-ocaml-7l663
MISSING

Architectures: arm64

Summary: unsatisfied dependency on libstdlib-ocaml-0d647

psmt2-frontend (0.4.0-4+b1) [PTS] [ctrl]
   ↓ libpsmt2-frontend-ocaml (= 0.4.0-4+b1)
libpsmt2-frontend-ocaml (0.4.0-4+b1) [PTS] [ctrl]
   ↓ libstdlib-ocaml-0d647
MISSING

Architectures: armel, armhf, i386, mips64el

Summary: unsatisfied dependency on libstdlib-ocaml-bkvu1

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

Architectures: ppc64el

Summary: unsatisfied dependency on libstdlib-ocaml-2a614

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

Architectures: riscv64

Summary: unsatisfied dependency on libstdlib-ocaml-vvst5

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

Architectures: s390x

Summary: unsatisfied dependency on libstdlib-ocaml-r1af2

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