--- a/Admin/components/main Wed Nov 17 20:49:09 2021 +0100
+++ b/Admin/components/main Fri Nov 19 20:35:35 2021 +0100
@@ -26,7 +26,7 @@
ssh-java-20190323
stack-2.7.3
vampire-4.6
-verit-2021.06.1-rmx
+verit-2021.06.2-rmx
xz-java-1.9
z3-4.4.0_4.4.1
zipperposition-2.1-1