--- a/Admin/components/main Fri Mar 06 15:58:56 2015 +0100 +++ b/Admin/components/main Fri Mar 06 16:09:51 2015 +0100 @@ -10,7 +10,7 @@ jortho-1.0-2 kodkodi-1.5.2 polyml-5.5.2-1 -scala-2.11.5 +scala-2.11.6 spass-3.8ds z3-4.3.2pre-1 xz-java-1.2-1