Package: boogie

Scenario: unstable_main
Date: 2024-07-15 05:00:03

Architectures: mips64el, riscv64

Summary: unsatisfied dependency on mono-runtime (>= 3.0~)

boogie (2.4.1+dfsg-0.1) [PTS] [ctrl]
↓ mono-runtime (>= 3.0~)
MISSING