Bug#934950: dafny: unsatisfiable build-dependency in sid

[Benjamin Barenblat]

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.

Bug#934950: dafny: unsatisfiable build-dependency in sid

[Ralf Treinen]

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 mono-reference-assemblies-4.0 (<< 5.0~). This
makes the build-dependencies of dafny unsatisfiable in sid.

-Ralf.