Source: boogie Version: 2.3.0.61016+dfsg+3.gbp1f2d6c1-1 Severity: serious User: trei...@debian.org Usertags: edos-uninstallable
Hi, the build-dependencies of boogie are not satisfiable on any architecture in sid. This is the case since at least 2019-01-12. On amd64, arm64, armel, armhf, i386, mipsel, ppc64el, s390x, the reason is that it build-depends both on mono-devel (>= 2.4.2.3) and mono-reference-assemblies-4.0. However, mono-devel (5.18.0.240+dfsg-2) declares a Breaks with mono-reference-assemblies-4.0 (<< 5.0~). -Ralf.
