Admin/components/main
changeset 63990 785908f6f40e
parent 63776 f1968429e339
child 64123 a967b5a07f92
--- a/Admin/components/main	Sun Oct 02 12:50:46 2016 +0200
+++ b/Admin/components/main	Sun Oct 02 13:26:57 2016 +0200
@@ -14,5 +14,5 @@
 scala-2.11.8
 spass-3.8ds
 sqlite-jdbc-3.8.11.2
-xz-java-1.2-1
+xz-java-1.5
 z3-4.4.0pre