diff -r 5bc7fd5379ef -r 06e5ba0d1d2c Admin/components/main
--- 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