# HG changeset patch
# User wenzelm
# Date 1711029622 -3600
# Node ID f91d97023beb7395b724b38ea615ca0ef6ffaf06
# Parent  ebe559f5a5751d6a56bdc28cf232020592c7b85d
update to dotnet-8.0.203;

diff -r ebe559f5a575 -r f91d97023beb src/Pure/Tools/dotnet_setup.scala
--- a/src/Pure/Tools/dotnet_setup.scala	Thu Mar 21 14:45:15 2024 +0100
+++ b/src/Pure/Tools/dotnet_setup.scala	Thu Mar 21 15:00:22 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 = "8.0.201"
+  def default_version: String = "8.0.203"
 
   def dotnet_setup(
     platform_spec: String = default_platform,