--- a/Admin/components/components.sha1 Mon Apr 01 14:36:28 2024 +0200
+++ b/Admin/components/components.sha1 Mon Apr 01 15:09:30 2024 +0200
@@ -482,6 +482,7 @@
bee1c9416a086e553057171e5cb571271ed02c60 scala-3.2.1.tar.gz
989736bb2693fa2c484f45841364a0bcb642acc1 scala-3.3.0.tar.gz
347437eb000f93bc751cbe6eccd31e7e798e10e5 scala-3.3.3.tar.gz
+bdc7406747790b590518182d8b4131b4a0e90c07 scala-3.4.1.tar.gz
abe7a3b50da529d557a478e9f631a22429418a67 smbc-0.4.1.tar.gz
cbd491c0feba1d21019d05564e76dd04f592ccb4 spass-3.8ds-1.tar.gz
edaa1268d82203067657aabcf0371ce7d4b579b9 spass-3.8ds-2.tar.gz
--- a/src/Pure/Admin/component_scala.scala Mon Apr 01 14:36:28 2024 +0200
+++ b/src/Pure/Admin/component_scala.scala Mon Apr 01 15:09:30 2024 +0200
@@ -34,7 +34,7 @@
}
val main_download: Download =
- Download("scala", "3.3.3", base_version = "",
+ Download("scala", "3.4.1", base_version = "",
url = "https://github.com/lampepfl/dotty/releases/download/{V}/scala3-{V}.tar.gz")
val lib_downloads: List[Download] = List(