--- a/Admin/components/main Tue Aug 25 22:56:34 2020 +0200
+++ b/Admin/components/main Tue Aug 25 23:21:38 2020 +0200
@@ -14,7 +14,7 @@
opam-2.0.6
polyml-test-a3cfdf648da
postgresql-42.2.9
-scala-2.12.11
+scala-2.12.12
smbc-0.4.1
spass-3.8ds-1
sqlite-jdbc-3.30.1