--- a/Admin/components/main Fri Sep 02 20:30:54 2016 +0200 +++ b/Admin/components/main Sat Sep 03 22:56:57 2016 +0200 @@ -13,5 +13,6 @@ polyml-5.6-1 scala-2.11.8 spass-3.8ds +sqlite-jdbc-3.8.11.2 xz-java-1.2-1 z3-4.4.0pre