Admin/components/main

--- 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