# HG changeset patch
# User wenzelm
# Date 1709741094 -3600
# Node ID 33c93008db036ef877cc490fef3bf5b25bd85d20
# Parent  0082387e48305b7442407ed0fcad426de082976e
update to current long-term-support version dotnet-8.0.x;

diff -r 0082387e4830 -r 33c93008db03 NEWS
--- a/NEWS	Wed Mar 06 14:11:58 2024 +0100
+++ b/NEWS	Wed Mar 06 17:04:54 2024 +0100
@@ -182,6 +182,8 @@
 * Update to GHC stack 2.15.1 with support for all platforms, including
 ARM Linux and Apple Silicon.
 
+* Update to .NET / Fsharp 8.0.x: the current long-term support version.
+
 * Update to official Poly/ML 5.9.1.
 
 * Update to OpenJDK 21: the current long-term support version of Java.
diff -r 0082387e4830 -r 33c93008db03 src/Pure/Tools/dotnet_setup.scala
--- a/src/Pure/Tools/dotnet_setup.scala	Wed Mar 06 14:11:58 2024 +0100
+++ b/src/Pure/Tools/dotnet_setup.scala	Wed Mar 06 17:04:54 2024 +0100
@@ -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.411"
+  def default_version: String = "8.0.201"
 
   def dotnet_setup(
     platform_spec: String = default_platform,