Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
update to dotnet-8.0.203;
authorwenzelm
Thu, 21 Mar 2024 15:00:22 +0100
changeset 79956 f91d97023beb
parent 79955 ebe559f5a575
child 79957 ef635b035561
update to dotnet-8.0.203;
src/Pure/Tools/dotnet_setup.scala file | annotate | diff | comparison | revisions 
--- 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,
isabelle