Package: why3

Scenario: src_unstable_main
Date: 2026-01-15 05:00:02

Architectures: loong64

Summary: unsatisfied dependency on liblablgtk3-ocaml-dev

src:why3 (1.8.2-3) [PTS] [ctrl]
   ↓ liblablgtk3-ocaml-dev
MISSING