8|app-office/denaro|denaro-2024.2.0.ebuild|check-reqs:desktop:dotnet-pkg:gnome2-utils:python-any-r1:xdg|dotnet@gentoo.org
8|dev-dotnet/dotnet-sdk|dotnet-sdk-8.0.102.ebuild|check-reqs:flag-o-matic:llvm:multiprocessing:python-any-r1|dotnet@gentoo.org
8|dev-lang/dafny|dafny-4.6.0.ebuild|check-reqs:edo:multiprocessing:dotnet-pkg:java-pkg-2:python-any-r1:optfeature|dotnet@gentoo.org
8|dev-lang/dafny|dafny-4.5.0.ebuild|check-reqs:edo:multiprocessing:dotnet-pkg:java-pkg-2:python-any-r1:optfeature|dotnet@gentoo.org
8|dev-lang/dafny|dafny-4.4.0-r1.ebuild|check-reqs:edo:multiprocessing:dotnet-pkg:java-pkg-2:python-any-r1|dotnet@gentoo.org