8|app-shells/ugit|ugit-0.4.4.ebuild|~amd64|dotnet@gentoo.org
8|dev-dotnet/dotnet-outdated|dotnet-outdated-4.6.1.ebuild|~amd64|dotnet@gentoo.org
8|dev-dotnet/dotnet-runtime-nugets|dotnet-runtime-nugets-6.0.29.ebuild|~amd64:~arm:~arm64|dotnet@gentoo.org
8|dev-dotnet/dotnet-runtime-nugets|dotnet-runtime-nugets-7.0.18.ebuild|~amd64:~arm:~arm64|dotnet@gentoo.org
8|dev-dotnet/csharp-language-server|csharp-language-server-0.12.0.ebuild|~amd64|dotnet@gentoo.org
8|dev-dotnet/dotnet-sdk-bin|dotnet-sdk-bin-8.0.204.ebuild|~amd64:~arm:~arm64|dotnet@gentoo.org
8|dev-dotnet/fsautocomplete|fsautocomplete-0.71.0.ebuild|~amd64|dotnet@gentoo.org
8|dev-dotnet/dotnet-runtime-nugets|dotnet-runtime-nugets-8.0.4.ebuild|~amd64:~arm:~arm64|dotnet@gentoo.org
8|dev-lang/boogie|boogie-3.1.4.ebuild|~amd64|dotnet@gentoo.org
8|dev-lang/dafny|dafny-4.5.0.ebuild|~amd64|dotnet@gentoo.org
8|dev-lang/boogie|boogie-3.1.5.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|dafny-4.6.0.ebuild|~amd64|dotnet@gentoo.org
7|games-strategy/openra|openra-20190314-r100.ebuild|~amd64:~x86|dotnet@gentoo.org:games@gentoo.org
8|games-strategy/openra|openra-20231010-r1.ebuild|~amd64|dotnet@gentoo.org:games@gentoo.org