--- 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)
}
+