--- a/Admin/components/main Tue Feb 27 17:06:42 2024 +0100
+++ b/Admin/components/main Wed Feb 28 22:11:11 2024 +0100
@@ -34,7 +34,7 @@
smbc-0.4.1
spass-3.8ds-2
sqlite-jdbc-3.45.0.0
-stack-2.13.1
+stack-2.15.1
vampire-4.8
verit-2021.06.2-rmx-1
vscode_extension-20230206