--- a/Admin/components/main Mon Mar 23 10:26:08 2020 +0000
+++ b/Admin/components/main Mon Mar 23 16:11:41 2020 +0100
@@ -14,7 +14,7 @@
opam-2.0.6
polyml-5.8.1-20200228
postgresql-42.2.9
-scala-2.12.10
+scala-2.12.11
smbc-0.4.1
spass-3.8ds-1
sqlite-jdbc-3.30.1