--- a/Admin/components/main Fri Feb 24 12:24:13 2017 +0100
+++ b/Admin/components/main Fri Feb 24 13:24:55 2017 +0100
@@ -10,7 +10,7 @@
jortho-1.0-2
kodkodi-1.5.2
nunchaku-0.3
-polyml-5.7-20170217
+polyml-5.6-1
postgresql-9.4.1212
scala-2.11.8
ssh-java-20161009