updated to scala-2.13.6, with scala-xml 1.3.0 ~> 2.0.0;
authorwenzelm
Mon, 28 Jun 2021 13:13:31 +0200
changeset 74150 5ec68c1a07d8
parent 74149 9c2dd041477b
child 74151 8f6b2eb15240
updated to scala-2.13.6, with scala-xml 1.3.0 ~> 2.0.0;
Admin/components/components.sha1
Admin/components/main
src/Pure/ROOT.scala
--- 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
--- 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
--- 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)
 }
+