--- a/Admin/components/main Tue Feb 07 22:15:07 2017 +0100 +++ b/Admin/components/main Wed Feb 08 21:04:18 2017 +0100 @@ -11,6 +11,7 @@ kodkodi-1.5.2 nunchaku-0.3 polyml-5.6-1 +postgresql-9.4.1212 scala-2.11.8 ssh-java-20161009 spass-3.8ds