--- a/Admin/components/main Sun Jul 25 12:43:07 2021 +0200
+++ b/Admin/components/main Sun Jul 25 14:46:08 2021 +0200
@@ -23,7 +23,7 @@
spass-3.8ds-2
sqlite-jdbc-3.34.0
ssh-java-20190323
-stack-2.5.1
+stack-2.7.3
vampire-4.2.2
verit-2020.10-rmx-1
xz-java-1.8