Package: dafny
Scenario: src_unstable_mainDate: 2024-05-05 05:00:04
Architectures: mips64el, riscv64
Summary: unsatisfied dependency on mono-utils (>= 4.4~) | cil-disassembler
src:dafny (2.3.0+dfsg-0.1)
[PTS]
[ctrl]
↓ cli-common-dev cli-common-dev (0.10+nmu2) [PTS] [ctrl] ↓ mono-utils (>= 4.4~) | cil-disassembler MISSING |