# HG changeset patch
# User wenzelm
# Date 1608552203 -3600
# Node ID 06e5ba0d1d2cc25c34dc45b32c5b6152a720e9ea
# Parent  5bc7fd5379efda8354950d0cc2b7dd2ca5c83a24
sort lines;

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