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