| changeset 78288 | 9030c8efda73 |
| parent 78158 | 8b5a2e4b16d4 |
| child 78610 | fd1fec53665b |
--- a/src/Pure/Tools/dotnet_setup.scala Mon Jul 10 21:39:47 2023 +0200 +++ b/src/Pure/Tools/dotnet_setup.scala Mon Jul 10 21:59:20 2023 +0200 @@ -52,7 +52,7 @@ def default_target_dir: Path = Components.default_components_base def default_install_url: String = "https://dot.net/v1/dotnet-install" - def default_version: String = "6.0.402" + def default_version: String = "6.0.411" def dotnet_setup( platform_spec: String = default_platform,