--- a/Admin/components/main Fri Oct 16 15:09:41 2020 +0200 +++ b/Admin/components/main Fri Oct 16 19:34:37 2020 +0200 @@ -22,4 +22,5 @@ stack-2.1.3 vampire-4.2.2 xz-java-1.8 +verit-2020.10-rmx-1 z3-4.4.0pre-3