8|app-shells/platyps|platyps-0.14.2.ebuild|edo:dotnet-pkg:check-reqs|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/boogie|boogie-3.1.3.ebuild|check-reqs:edo:multiprocessing:dotnet-pkg|dotnet@gentoo.org
8|dev-lang/boogie|boogie-3.1.4.ebuild|check-reqs:edo:multiprocessing:dotnet-pkg|dotnet@gentoo.org
8|dev-lang/boogie|boogie-3.1.5.ebuild|check-reqs:edo:multiprocessing:dotnet-pkg|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
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