8|dev-lang/dafny-bin|dafny-bin-4.4.0-r1.ebuild|-*:amd64|dotnet@gentoo.org
8|dev-lang/dafny-bin|dafny-bin-4.5.0-r1.ebuild|-*:~amd64|dotnet@gentoo.org
8|dev-lang/dafny-bin|dafny-bin-4.6.0.ebuild|-*:amd64|dotnet@gentoo.org
8|dev-lang/dafny|dafny-4.4.0-r1.ebuild|amd64|dotnet@gentoo.org
8|dev-lang/dafny|dafny-4.5.0.ebuild|~amd64|dotnet@gentoo.org
8|dev-lang/dafny|dafny-4.6.0.ebuild|~amd64|dotnet@gentoo.org