# HG changeset patch
# User wenzelm
# Date 1730104828 -3600
# Node ID 66c253421be4bc1a890c120ce680c55ced2d5cc1
# Parent  108284c8cbfded6f769326b230743997218b5f93
update to scala-3.3.4 LTS;

diff -r 108284c8cbfd -r 66c253421be4 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Mon Oct 28 08:48:31 2024 +0100
+++ b/Admin/components/components.sha1	Mon Oct 28 09:40:28 2024 +0100
@@ -489,6 +489,7 @@
 bee1c9416a086e553057171e5cb571271ed02c60 scala-3.2.1.tar.gz
 989736bb2693fa2c484f45841364a0bcb642acc1 scala-3.3.0.tar.gz
 347437eb000f93bc751cbe6eccd31e7e798e10e5 scala-3.3.3.tar.gz
+32b86128463b89e0a40943cc5dd426526f1065e7 scala-3.3.4.tar.gz
 bdc7406747790b590518182d8b4131b4a0e90c07 scala-3.4.1.tar.gz
 0983f776b3b9dd95164a747d176d65d0e45f843b scala-3.4.2.tar.gz
 abe7a3b50da529d557a478e9f631a22429418a67 smbc-0.4.1.tar.gz
diff -r 108284c8cbfd -r 66c253421be4 Admin/components/main
--- a/Admin/components/main	Mon Oct 28 08:48:31 2024 +0100
+++ b/Admin/components/main	Mon Oct 28 09:40:28 2024 +0100
@@ -30,7 +30,7 @@
 postgresql-42.7.3
 prismjs-1.29.0
 rsync-3.2.7-1
-scala-3.3.3
+scala-3.3.4
 smbc-0.4.1
 spass-3.8ds-2
 sqlite-3.45.2.0
diff -r 108284c8cbfd -r 66c253421be4 src/Pure/Admin/component_scala.scala
--- a/src/Pure/Admin/component_scala.scala	Mon Oct 28 08:48:31 2024 +0100
+++ b/src/Pure/Admin/component_scala.scala	Mon Oct 28 09:40:28 2024 +0100
@@ -34,20 +34,20 @@
   }
 
   val main_download: Download =
-    Download("scala", "3.4.2", base_version = "",
+    Download("scala", "3.3.4", 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.3.0",
+    Download("scala-parser-combinators", "2.4.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",
       "https://mvnrepository.com/artifact/org.scala-lang.modules/scala-swing_{B}/{V}",
       physical_url = "https://repo1.maven.org/maven2/org/scala-lang/modules/scala-swing_{B}/{V}/scala-swing_{B}-{V}.jar"),
-    Download("scala-xml", "2.2.0",
+    Download("scala-xml", "2.3.0",
       "https://mvnrepository.com/artifact/org.scala-lang.modules/scala-xml_{B}/{V}",
       physical_url = "https://repo1.maven.org/maven2/org/scala-lang/modules/scala-xml_{B}/{V}/scala-xml_{B}-{V}.jar")
   )
diff -r 108284c8cbfd -r 66c253421be4 src/Pure/ROOT.scala
--- a/src/Pure/ROOT.scala	Mon Oct 28 08:48:31 2024 +0100
+++ b/src/Pure/ROOT.scala	Mon Oct 28 09:40:28 2024 +0100
@@ -29,4 +29,3 @@
   def if_proper[A](x: Iterable[A], body: => String): String = Library.if_proper(x, body)
   def if_proper(b: Boolean, body: => String): String = Library.if_proper(b, body)
 }
-