--- 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",