diff -r ea4f5b0ef497 -r 21164fd15e3d src/Pure/Tools/scala_project.scala
--- a/src/Pure/Tools/scala_project.scala	Wed Jul 06 13:08:33 2022 +0200
+++ b/src/Pure/Tools/scala_project.scala	Tue Jul 05 13:12:04 2022 +0200
@@ -12,7 +12,7 @@
   /** build tools **/
 
   val java_version: String = "17"
-  val scala_version: String = "2.13.5"
+  val scala_version: String = "3.1.3"
 
   abstract class Build_Tool {
     def project_root: Path
@@ -66,7 +66,7 @@
 }
 
 dependencies {
-  implementation 'org.scala-lang:scala-library:""" + scala_version + """'
+  implementation 'org.scala-lang:scala3-library_3:scala-library:""" + scala_version + """'
   compileOnly files(
     """ + jars.map(jar => groovy_string(File.platform_path(jar))).mkString("", ",\n    ", ")") +
 """