# HG changeset patch
# User wenzelm
# Date 1716137025 -7200
# Node ID aa92c0f96036d87035612eda63dfba2fb7130732
# Parent  e83b1489f4f276d81bd8f11da49e435c8fb6a51b
provide scala-3.4.2, but do not activate it: scala-3.3.x is LTS version;

diff -r e83b1489f4f2 -r aa92c0f96036 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Sun May 19 15:49:21 2024 +0200
+++ b/Admin/components/components.sha1	Sun May 19 18:43:45 2024 +0200
@@ -490,6 +490,7 @@
 989736bb2693fa2c484f45841364a0bcb642acc1 scala-3.3.0.tar.gz
 347437eb000f93bc751cbe6eccd31e7e798e10e5 scala-3.3.3.tar.gz
 bdc7406747790b590518182d8b4131b4a0e90c07 scala-3.4.1.tar.gz
+0983f776b3b9dd95164a747d176d65d0e45f843b scala-3.4.2.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 e83b1489f4f2 -r aa92c0f96036 src/Pure/Admin/component_scala.scala
--- a/src/Pure/Admin/component_scala.scala	Sun May 19 15:49:21 2024 +0200
+++ b/src/Pure/Admin/component_scala.scala	Sun May 19 18:43:45 2024 +0200
@@ -34,7 +34,7 @@
   }
 
   val main_download: Download =
-    Download("scala", "3.4.1", base_version = "",
+    Download("scala", "3.4.2", base_version = "",
       url = "https://github.com/lampepfl/dotty/releases/download/{V}/scala3-{V}.tar.gz")
 
   val lib_downloads: List[Download] = List(