# HG changeset patch
# User wenzelm
# Date 1663338885 -7200
# Node ID d6bd84eb94a39bdb8064310edb0f65b7a11e3284
# Parent  4ff3cea76201d9864fbf65752592046fd1d9fea3
update to scala-3.2.0;
enforce rebuild of Isabelle/ML + Isabelle/Scala;

diff -r 4ff3cea76201 -r d6bd84eb94a3 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Fri Sep 16 16:02:28 2022 +0200
+++ b/Admin/components/components.sha1	Fri Sep 16 16:34:45 2022 +0200
@@ -420,6 +420,7 @@
 b447017e81600cc5e30dd61b5d4962f6da01aa80 scala-2.8.1.final.tar.gz
 5659440f6b86db29f0c9c0de7249b7e24a647126 scala-2.9.2.tar.gz
 97c5b73011f4d6438b616e5940e6d759034f5414 scala-3.1.3.tar.gz
+7677b02fe06c992ca6cf82bf68adb16287294256 scala-3.2.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 4ff3cea76201 -r d6bd84eb94a3 Admin/components/main
--- a/Admin/components/main	Fri Sep 16 16:02:28 2022 +0200
+++ b/Admin/components/main	Fri Sep 16 16:34:45 2022 +0200
@@ -21,7 +21,7 @@
 pdfjs-2.14.305
 polyml-test-15c840d48c9a
 postgresql-42.5.0
-scala-3.1.3
+scala-3.2.0
 smbc-0.4.1
 spass-3.8ds-2
 sqlite-jdbc-3.36.0.3
diff -r 4ff3cea76201 -r d6bd84eb94a3 src/Pure/Admin/build_scala.scala
--- a/src/Pure/Admin/build_scala.scala	Fri Sep 16 16:02:28 2022 +0200
+++ b/src/Pure/Admin/build_scala.scala	Fri Sep 16 16:34:45 2022 +0200
@@ -43,7 +43,7 @@
   }
 
   val main_download: Download =
-    Download("scala", "3.1.3", base_version = "",
+    Download("scala", "3.2.0", base_version = "",
       url = "https://github.com/lampepfl/dotty/releases/download/{V}/scala3-{V}.tar.gz")
 
   val lib_downloads: List[Download] = List(
diff -r 4ff3cea76201 -r d6bd84eb94a3 src/Pure/ROOT.ML
--- a/src/Pure/ROOT.ML	Fri Sep 16 16:02:28 2022 +0200
+++ b/src/Pure/ROOT.ML	Fri Sep 16 16:34:45 2022 +0200
@@ -364,3 +364,4 @@
 ML_file "Tools/jedit.ML";
 ML_file "Tools/ghc.ML";
 ML_file "Tools/generated_files.ML";
+
diff -r 4ff3cea76201 -r d6bd84eb94a3 src/Pure/ROOT.scala
--- a/src/Pure/ROOT.scala	Fri Sep 16 16:02:28 2022 +0200
+++ b/src/Pure/ROOT.scala	Fri Sep 16 16:34:45 2022 +0200
@@ -21,3 +21,4 @@
   val proper_string = Library.proper_string _
   def proper_list[A](list: List[A]): Option[List[A]] = Library.proper_list(list)
 }
+