# 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