--- a/Admin/components/main Sun Nov 07 15:46:46 2021 +0100
+++ b/Admin/components/main Sun Nov 07 16:30:42 2021 +0100
@@ -19,7 +19,7 @@
opam-2.0.7
polyml-5.9-5d4caa8f7148
postgresql-42.2.24
-scala-2.13.7
+scala-2.13.5
smbc-0.4.1
spass-3.8ds-2
sqlite-jdbc-3.36.0.3