--- a/Admin/components/main Fri Jan 29 21:56:14 2021 +0100
+++ b/Admin/components/main Sat Jan 30 13:46:40 2021 +0100
@@ -15,7 +15,7 @@
opam-2.0.7
polyml-test-f86ae3dc1686
postgresql-42.2.18
-scala-2.13.4
+scala-2.13.4-1
smbc-0.4.1
spass-3.8ds-2
sqlite-jdbc-3.34.0