8|dev-lang/dafny-bin|dev-lang/dafny-bin-4.10.0-r1|4.11.0-r1|dotnet@gentoo.org
8|dev-lang/dafny|dev-lang/dafny-4.10.0|4.11.0|dotnet@gentoo.org