--- a/Admin/components/main Wed Mar 03 16:54:21 2021 +0100
+++ b/Admin/components/main Wed Mar 03 20:56:30 2021 +0100
@@ -15,7 +15,7 @@
opam-2.0.7
polyml-test-f86ae3dc1686
postgresql-42.2.18
-scala-2.13.4-1
+scala-2.13.5
smbc-0.4.1
spass-3.8ds-2
sqlite-jdbc-3.34.0