--- a/Admin/components/main Sun Sep 30 18:19:28 2018 -0400
+++ b/Admin/components/main Mon Oct 01 12:19:55 2018 +0200
@@ -12,7 +12,7 @@
kodkodi-1.5.2-1
nunchaku-0.5
polyml-5.7.1-8
-postgresql-42.2.2
+postgresql-42.2.5
scala-2.12.7
smbc-0.4.1
ssh-java-20161009