diff -r 64829c7ab0e7 -r 7870cdaa3f1f src/Pure/System/platform.scala
--- a/src/Pure/System/platform.scala	Fri Mar 04 11:44:05 2022 +0100
+++ b/src/Pure/System/platform.scala	Fri Mar 04 21:47:57 2022 +0100
@@ -29,7 +29,7 @@
   {
     val linux_arm, linux, macos, windows = Value
     val list0: List[Value] = List(linux, windows, macos)
-    val list: List[Value] = List(linux_arm, linux, windows, macos)
+    val list: List[Value] = List(linux, linux_arm, windows, macos)
 
     def unapply(name: String): Option[Value] =
       try { Some(withName(name)) }