sci-mathematics/z3 virtual/dotnet-sdk:10.0 dev-dotnet/csharp-gentoodotnetinfo
