# HG changeset patch # User wenzelm # Date 1602765115 -7200 # Node ID b772a93d44aa808aa39cb6a5c4fdd1bc31021779 # Parent 7d0861af3cb00b49b6e2a97bb4510d2f1f8e2855 disable verit-2020.10-rmx-1 for now: does not quite work on Windows and macOS; diff -r 7d0861af3cb0 -r b772a93d44aa Admin/components/main --- a/Admin/components/main Thu Oct 15 13:47:55 2020 +0200 +++ b/Admin/components/main Thu Oct 15 14:31:55 2020 +0200 @@ -21,6 +21,5 @@ ssh-java-20190323 stack-2.1.3 vampire-4.2.2 -verit-2020.10-rmx-1 xz-java-1.8 z3-4.4.0pre-3