Package: why3

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

Architectures: amd64, arm64, ppc64el, riscv64

Summary: unsatisfied dependency on libcairo2-ocaml-7q5f6

why3 (1.8.0-1) [PTS] [ctrl]
   ↓ libcairo2-ocaml-7q5f6
MISSING

Architectures: armel, armhf, i386, mips64el

Summary: unsatisfied dependency on libcairo2-ocaml-c05k5

why3 (1.8.0-1) [PTS] [ctrl]
   ↓ libcairo2-ocaml-c05k5
MISSING

Architectures: s390x

Summary: unsatisfied dependency on libcairo2-ocaml-nw7q1

why3 (1.8.0-1) [PTS] [ctrl]
   ↓ libcairo2-ocaml-nw7q1
MISSING