--- a/Admin/components/main Thu Mar 24 14:55:43 2016 +0100 +++ b/Admin/components/main Thu Mar 24 15:59:19 2016 +0100 @@ -11,7 +11,7 @@ jortho-1.0-2 kodkodi-1.5.2 polyml-5.6-1 -scala-2.11.7 +scala-2.11.8 spass-3.8ds xz-java-1.2-1 z3-4.4.0pre