--- a/Admin/components/main Tue Oct 15 21:05:35 2019 +0200
+++ b/Admin/components/main Wed Oct 16 12:23:09 2019 +0200
@@ -14,7 +14,7 @@
opam-2.0.3-1
polyml-5.8
postgresql-42.2.5
-scala-2.12.7
+scala-2.12.10
smbc-0.4.1
spass-3.8ds-1
sqlite-jdbc-3.27.2.1