diff -r 0659536b150b -r 9fcf80ceb863 Admin/components/main
--- a/Admin/components/main	Tue Nov 02 14:05:02 2021 +0100
+++ b/Admin/components/main	Tue Nov 02 15:40:02 2021 +0100
@@ -19,7 +19,7 @@
 opam-2.0.7
 polyml-5.9-960de0cd0795
 postgresql-42.2.24
-scala-2.13.5
+scala-2.13.7
 smbc-0.4.1
 spass-3.8ds-2
 sqlite-jdbc-3.36.0.3