--- a/Admin/components/main Wed Oct 06 21:18:00 2021 +0200
+++ b/Admin/components/main Wed Oct 06 21:37:59 2021 +0200
@@ -25,7 +25,7 @@
ssh-java-20190323
stack-2.7.3
vampire-4.6
-verit-2021.06-rmx
+verit-2021.06-rmx-1
xz-java-1.9
z3-4.4.0pre-3
zipperposition-2.1-1