# HG changeset patch
# User wenzelm
# Date 1538389195 -7200
# Node ID dabe59286c79d1d013718b5e496683ad3321aae0
# Parent  e65ab21821bf2ef3606e90e94bda4af55dcd56e0
updated to postgresql-42.2.5;

diff -r e65ab21821bf -r dabe59286c79 Admin/components/main
--- 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