--- a/Admin/components/main Fri May 19 13:34:18 2017 +0200 +++ b/Admin/components/main Fri May 19 16:05:33 2017 +0200 @@ -16,5 +16,5 @@ ssh-java-20161009 spass-3.8ds sqlite-jdbc-3.8.11.2 -xz-java-1.5 +xz-java-1.6 z3-4.4.0pre