diff -r 67492b2a3a62 -r fd1fec53665b src/Pure/Tools/dotnet_setup.scala
--- a/src/Pure/Tools/dotnet_setup.scala	Tue Aug 29 17:19:19 2023 +0200
+++ b/src/Pure/Tools/dotnet_setup.scala	Tue Aug 29 17:29:34 2023 +0200
@@ -11,7 +11,7 @@
   /* platforms */
 
   sealed case class Platform_Info(
-    family: Platform.Family.Value,
+    family: Platform.Family,
     name: String,
     os: String = "",
     arch: String = "x64",