--- a/Admin/components/main Fri Oct 01 12:45:47 2021 +0200
+++ b/Admin/components/main Fri Oct 01 22:35:32 2021 +0200
@@ -25,7 +25,7 @@
ssh-java-20190323
stack-2.7.3
vampire-4.5.1
-verit-2020.10-rmx-1
+verit-2021.06-rmx
xz-java-1.8
z3-4.4.0pre-3
zipperposition-2.1