--- a/Admin/components/main Wed Jun 30 22:14:27 2021 +0200
+++ b/Admin/components/main Thu Jul 01 12:34:42 2021 +0200
@@ -18,7 +18,7 @@
opam-2.0.7
polyml-5.8.2
postgresql-42.2.18
-scala-2.13.6
+scala-2.13.5
smbc-0.4.1
spass-3.8ds-2
sqlite-jdbc-3.34.0