--- a/Admin/components/main Thu Jan 16 15:10:16 2020 +0100
+++ b/Admin/components/main Thu Jan 16 15:34:55 2020 +0100
@@ -19,7 +19,7 @@
spass-3.8ds-1
sqlite-jdbc-3.30.1
ssh-java-20190323
-stack-1.9.3
+stack-2.1.3
vampire-4.2.2
xz-java-1.8
z3-4.4.0pre-3