# HG changeset patch
# User wenzelm
# Date 1648758251 -7200
# Node ID 8b7497992301f6d267d7a37e17eb567e10bc2bec
# Parent  2cb2606ce0753549efdcbd6d6747ebe3d2fcc0b6
prefer scala 3.0.x, for option "-source 3.0-migration";

diff -r 2cb2606ce075 -r 8b7497992301 src/Pure/Admin/build_scala.scala
--- a/src/Pure/Admin/build_scala.scala	Thu Mar 31 21:51:19 2022 +0200
+++ b/src/Pure/Admin/build_scala.scala	Thu Mar 31 22:24:11 2022 +0200
@@ -45,14 +45,14 @@
   }
 
   val main_download: Download =
-    Download("scala", "3.1.1", base_version = "",
+    Download("scala", "3.0.2", base_version = "",
       url = "https://github.com/lampepfl/dotty/releases/download/{V}/scala3-{V}.tar.gz")
 
   val lib_downloads: List[Download] = List(
     Download("scala-parallel-collections", "1.0.4",
       "https://mvnrepository.com/artifact/org.scala-lang.modules/scala-parallel-collections_{B}/{V}",
       physical_url = "https://repo1.maven.org/maven2/org/scala-lang/modules/scala-parallel-collections_{B}/{V}/scala-parallel-collections_{B}-{V}.jar"),
-    Download("scala-parser-combinators", "2.1.1",
+    Download("scala-parser-combinators", "2.1.0",
       "https://mvnrepository.com/artifact/org.scala-lang.modules/scala-parser-combinators_{B}/{V}",
       physical_url = "https://repo1.maven.org/maven2/org/scala-lang/modules/scala-parser-combinators_{B}/{V}/scala-parser-combinators_{B}-{V}.jar"),
     Download("scala-swing", "3.0.0",