# HG changeset patch
# User wenzelm
# Date 1624878811 -7200
# Node ID 5ec68c1a07d82ae79410f0e8a422e6995a909f62
# Parent  9c2dd041477b53d585512fa31fc81680e105ea6b
updated to scala-2.13.6, with scala-xml 1.3.0 ~> 2.0.0;

diff -r 9c2dd041477b -r 5ec68c1a07d8 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Mon Jun 28 12:29:00 2021 +0200
+++ b/Admin/components/components.sha1	Mon Jun 28 13:13:31 2021 +0200
@@ -346,6 +346,7 @@
 a0622fe75c3482ba7dc3ce74d58583b648a1ff0d  scala-2.13.4-1.tar.gz
 ec53cce3c5edda1145ec5d13924a5f9418995c15  scala-2.13.4.tar.gz
 f51981baf34c020ad103b262f81796c37abcaa4a  scala-2.13.5.tar.gz
+0a7cab09dec357dab7819273f2542ff1c3ea0968  scala-2.13.6.tar.gz
 b447017e81600cc5e30dd61b5d4962f6da01aa80  scala-2.8.1.final.tar.gz
 5659440f6b86db29f0c9c0de7249b7e24a647126  scala-2.9.2.tar.gz
 abe7a3b50da529d557a478e9f631a22429418a67  smbc-0.4.1.tar.gz
diff -r 9c2dd041477b -r 5ec68c1a07d8 Admin/components/main
--- a/Admin/components/main	Mon Jun 28 12:29:00 2021 +0200
+++ b/Admin/components/main	Mon Jun 28 13:13:31 2021 +0200
@@ -17,7 +17,7 @@
 opam-2.0.7
 polyml-5.8.2
 postgresql-42.2.18
-scala-2.13.5
+scala-2.13.6
 smbc-0.4.1
 spass-3.8ds-2
 sqlite-jdbc-3.34.0
diff -r 9c2dd041477b -r 5ec68c1a07d8 src/Pure/ROOT.scala
--- a/src/Pure/ROOT.scala	Mon Jun 28 12:29:00 2021 +0200
+++ b/src/Pure/ROOT.scala	Mon Jun 28 13:13:31 2021 +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)
 }
+