--- a/Admin/components/main Mon Jul 02 10:02:44 2018 +0200 +++ b/Admin/components/main Mon Jul 02 10:03:11 2018 +0200 @@ -18,6 +18,7 @@ ssh-java-20161009 spass-3.8ds-1 sqlite-jdbc-3.23.1 +vampire-4.2.2 verit-2016post xz-java-1.8 z3-4.4.0pre-2