# HG changeset patch
# User wenzelm
# Date 1533218576 -7200
# Node ID 2862b585a0db3b2b797e67bfa9200c3c0b2646db
# Parent  c14a2cc9b5efbc945cad1e3c6ecdc4c5ebab7b0d
suppress verit-2016post -- not ready for release;

diff -r c14a2cc9b5ef -r 2862b585a0db Admin/components/main
--- a/Admin/components/main	Wed Aug 01 20:58:41 2018 +0200
+++ b/Admin/components/main	Thu Aug 02 16:02:56 2018 +0200
@@ -19,6 +19,5 @@
 spass-3.8ds-1
 sqlite-jdbc-3.23.1
 vampire-4.2.2
-verit-2016post
 xz-java-1.8
 z3-4.4.0pre-2