Admin/components/main
changeset 68735 2862b585a0db
parent 68702 8ef8905629ba
child 69095 39b248fb20a2
     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