suppress verit-2016post -- not ready for release;
authorwenzelm
Thu Aug 02 16:02:56 2018 +0200 (4 months ago)
changeset 687352862b585a0db
parent 68734 c14a2cc9b5ef
child 68736 29dbf3408021
suppress verit-2016post -- not ready for release;
Admin/components/main
     1.1 --- a/Admin/components/main	Wed Aug 01 20:58:41 2018 +0200
     1.2 +++ b/Admin/components/main	Thu Aug 02 16:02:56 2018 +0200
     1.3 @@ -19,6 +19,5 @@
     1.4  spass-3.8ds-1
     1.5  sqlite-jdbc-3.23.1
     1.6  vampire-4.2.2
     1.7 -verit-2016post
     1.8  xz-java-1.8
     1.9  z3-4.4.0pre-2