!dev-lang/dafny-bin >=virtual/jre-1.8:* sci-mathematics/z3 dev-dotnet/coco virtual/dotnet-sdk:8.0 dev-dotnet/csharp-gentoodotnetinfo
