# HG changeset patch
# User wenzelm
# Date 1689019160 -7200
# Node ID 9030c8efda73173021e2193329f80e965bc23cf7
# Parent  a915e15af0d988c2cdf46382f910f055a9a70180
latest version;

diff -r a915e15af0d9 -r 9030c8efda73 src/Pure/Tools/dotnet_setup.scala
--- 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,