<<< ebuild_multiple_deps_per_line >>> 8|dev-lang/dafny|dafny-4.8.0.ebuild|dotnet@gentoo.org 8|dev-lang/dafny|dafny-4.8.1.ebuild|dotnet@gentoo.org 8|dev-lang/dafny|dafny-4.9.0.ebuild|dotnet@gentoo.org <<< open bugs >>> https://bugs.gentoo.org/942017 dev-lang/dafny-4.8.1:_stablereq