--- a/Admin/components/main Sat Jan 16 19:25:20 2021 +0100
+++ b/Admin/components/main Sat Jan 16 22:52:43 2021 +0100
@@ -15,7 +15,7 @@
opam-2.0.7
polyml-test-f86ae3dc1686
postgresql-42.2.18
-scala-2.12.12
+scala-2.13.4
smbc-0.4.1
spass-3.8ds-2
sqlite-jdbc-3.34.0