Having dafny drop out of the archive would be fine with me – I’ve had an
active RFA out for over a year (https://bugs.debian.org/903143), and
nobody seems interested. I’ll officially orphan it and request ftpmaster
removal.
Source: dafny
Version: 1.9.7-1
Severity: serious
User: trei...@debian.org
Usertags: edos-uninstallable
Hi, dafny build-depends on mono-devel and on mono-reference-assemblies-4.0.
However, the current version of mono-devel in sid (5.18.0.240+dfsg-3)
declares a Breaks with
2 matches
Mail list logo
