--- a/Admin/components/main Tue Jul 11 15:01:38 2023 +0200
+++ b/Admin/components/main Tue Jul 11 15:15:27 2023 +0200
@@ -33,7 +33,7 @@
smbc-0.4.1
spass-3.8ds-2
sqlite-jdbc-3.42.0.0
-stack-2.7.3
+stack-2.9.3
vampire-4.6
verit-2021.06.2-rmx
vscode_extension-20230206