8|app-shells/invokebuild|invokebuild-5.10.5.ebuild|pwsh|dotnet@gentoo.org
8|app-shells/irregular|irregular-0.7.8.ebuild|pwsh|dotnet@gentoo.org
8|app-shells/linuxinfo|linuxinfo-0.0.8.ebuild|pwsh|dotnet@gentoo.org
8|app-shells/platyps|platyps-0.14.2.ebuild|pwsh|dotnet@gentoo.org
8|app-shells/posh-dotnet|posh-dotnet-1.2.3.ebuild|pwsh|dotnet@gentoo.org
8|app-shells/posh-git|posh-git-1.1.0.ebuild|pwsh|dotnet@gentoo.org
8|app-shells/posh-z|posh-z-1.1.12_p20230811.ebuild|pwsh|dotnet@gentoo.org
8|app-shells/ugit|ugit-0.4.3.ebuild|pwsh|dotnet@gentoo.org
8|app-shells/ugit|ugit-0.4.4.ebuild|pwsh|dotnet@gentoo.org
8|dev-lang/dafny|dafny-4.4.0-r1.ebuild|jre|dotnet@gentoo.org
8|dev-lang/dafny|dafny-4.5.0.ebuild|jre|dotnet@gentoo.org
8|dev-lang/dafny|dafny-4.6.0.ebuild|jre|dotnet@gentoo.org