src:boogie
Date: 2024-05-03 05:00:02
Debian unstable (main only)
| package | summary |
|---|---|
| libboogie-cil (= 2.4.1+dfsg-0.1) | unsatisfied dependency on mono-runtime (>= 6.8.0.105) |
| boogie (= 2.4.1+dfsg-0.1) | unsatisfied dependency on mono-runtime (>= 3.0~) |
Build-dependencies unstable (main only)
| package | summary |
|---|---|
| boogie (= 2.4.1+dfsg-0.1) | unsatisfied dependency on mono-utils (>= 4.4~) | cil-disassembler |