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.