update to scala-3.3.5;
authorwenzelm
Mon, 03 Feb 2025 13:12:44 +0100
changeset 82064 878a67422fb4
parent 82063 e13a1d3a39a9
child 82065 f178475f274d
update to scala-3.3.5; enforce rebuild of Isabelle/ML and Isabelle/Scala;
Admin/components/components.sha1
Admin/components/main
src/Pure/Admin/component_scala.scala
src/Pure/ROOT.ML
src/Pure/ROOT.scala
--- a/Admin/components/components.sha1	Mon Feb 03 12:19:42 2025 +0100
+++ b/Admin/components/components.sha1	Mon Feb 03 13:12:44 2025 +0100
@@ -512,6 +512,7 @@
 989736bb2693fa2c484f45841364a0bcb642acc1 scala-3.3.0.tar.gz
 347437eb000f93bc751cbe6eccd31e7e798e10e5 scala-3.3.3.tar.gz
 32b86128463b89e0a40943cc5dd426526f1065e7 scala-3.3.4.tar.gz
+3db786c32d9da800310bee9e6de1737217807475 scala-3.3.5.tar.gz
 bdc7406747790b590518182d8b4131b4a0e90c07 scala-3.4.1.tar.gz
 0983f776b3b9dd95164a747d176d65d0e45f843b scala-3.4.2.tar.gz
 abe7a3b50da529d557a478e9f631a22429418a67 smbc-0.4.1.tar.gz
--- a/Admin/components/main	Mon Feb 03 12:19:42 2025 +0100
+++ b/Admin/components/main	Mon Feb 03 13:12:44 2025 +0100
@@ -31,7 +31,7 @@
 postgresql-42.7.5
 prismjs-1.29.0
 rsync-3.2.7-1
-scala-3.3.4
+scala-3.3.5
 smbc-0.4.1
 solr-9.7.0-1
 spass-3.8ds-2
--- a/src/Pure/Admin/component_scala.scala	Mon Feb 03 12:19:42 2025 +0100
+++ b/src/Pure/Admin/component_scala.scala	Mon Feb 03 13:12:44 2025 +0100
@@ -34,11 +34,11 @@
   }
 
   val main_download: Download =
-    Download("scala", "3.3.4", base_version = "",
+    Download("scala", "3.3.5", 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",
+    Download("scala-parallel-collections", "1.2.0",
       "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.4.0",
--- a/src/Pure/ROOT.ML	Mon Feb 03 12:19:42 2025 +0100
+++ b/src/Pure/ROOT.ML	Mon Feb 03 13:12:44 2025 +0100
@@ -1,6 +1,6 @@
 (*  Title:      Pure/ROOT.ML
     Author:     Makarius
-    UUID:       7d82dfae-8363-4f59-8191-7a6e1a7cdbc9
+    UUID:       9c5036f1-7617-4ac5-8de7-d996863e5e58
 
 Main entry point for the Isabelle/Pure bootstrap process.
 
--- a/src/Pure/ROOT.scala	Mon Feb 03 12:19:42 2025 +0100
+++ b/src/Pure/ROOT.scala	Mon Feb 03 13:12:44 2025 +0100
@@ -1,6 +1,6 @@
 /*  Title:      Pure/ROOT.scala
     Author:     Makarius
-    UUID:       d6fc404b-eeef-4ad0-964d-14b9310ea78f
+    UUID:       9c5036f1-7617-4ac5-8de7-d996863e5e58
 
 Root of isabelle package.
 */