--- a/Admin/components/main Mon Nov 30 16:34:03 2020 +0100
+++ b/Admin/components/main Mon Nov 30 17:00:35 2020 +0100
@@ -19,7 +19,7 @@
spass-3.8ds-2
sqlite-jdbc-3.32.3.2
ssh-java-20190323
-stack-2.1.3
+stack-2.5.1
vampire-4.2.2
xz-java-1.8
verit-2020.10-rmx-1