--- a/Admin/components/main Mon Dec 21 12:51:28 2020 +0100
+++ b/Admin/components/main Mon Dec 21 13:03:23 2020 +0100
@@ -21,7 +21,7 @@
ssh-java-20190323
stack-2.5.1
vampire-4.2.2
+verit-2020.10-rmx-1
xz-java-1.8
-verit-2020.10-rmx-1
z3-4.4.0pre-3
zipperposition-2.0