# HG changeset patch
# User wenzelm
# Date 1685524402 -7200
# Node ID 96e2c2bbacbdd341f9ab36b1234510838b6e4db5
# Parent  9609085da9695342c2c6975a201b602c3fb2caf9
provide scala-3.3.0;

diff -r 9609085da969 -r 96e2c2bbacbd Admin/components/components.sha1
--- a/Admin/components/components.sha1	Wed May 31 10:36:51 2023 +0200
+++ b/Admin/components/components.sha1	Wed May 31 11:13:22 2023 +0200
@@ -450,6 +450,7 @@
 c58db22b9e1e90f5b7a3f5edd8bdb4ddab4947fd scala-3.2.0-2.tar.gz
 7677b02fe06c992ca6cf82bf68adb16287294256 scala-3.2.0.tar.gz
 bee1c9416a086e553057171e5cb571271ed02c60 scala-3.2.1.tar.gz
+989736bb2693fa2c484f45841364a0bcb642acc1 scala-3.3.0.tar.gz
 abe7a3b50da529d557a478e9f631a22429418a67 smbc-0.4.1.tar.gz
 cbd491c0feba1d21019d05564e76dd04f592ccb4 spass-3.8ds-1.tar.gz
 edaa1268d82203067657aabcf0371ce7d4b579b9 spass-3.8ds-2.tar.gz
diff -r 9609085da969 -r 96e2c2bbacbd src/Pure/Admin/component_scala.scala
--- a/src/Pure/Admin/component_scala.scala	Wed May 31 10:36:51 2023 +0200
+++ b/src/Pure/Admin/component_scala.scala	Wed May 31 11:13:22 2023 +0200
@@ -34,14 +34,14 @@
   }
 
   val main_download: Download =
-    Download("scala", "3.2.1", base_version = "",
+    Download("scala", "3.3.0", 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.3.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",