# HG changeset patch # User wenzelm # Date 1524231621 -7200 # Node ID a39473b19ee1ba6bc0629f918915c497fcab7a8c # Parent 9096895dc2a65607a5d30a6d36658e7b0cedb687 updated to postgresql-42.2.2, with more smooth support for Java 9/10; diff -r 9096895dc2a6 -r a39473b19ee1 Admin/components/components.sha1 --- a/Admin/components/components.sha1 Fri Apr 20 11:44:09 2018 +0200 +++ b/Admin/components/components.sha1 Fri Apr 20 15:40:21 2018 +0200 @@ -177,6 +177,7 @@ a619177143fea42a464f49bb864665407c07a16c polyml-test-fb4f42af00fa.tar.gz 53123dc011b2d4b4e8fe307f3c9fa355718ad01a postgresql-42.1.1.tar.gz 3a5d31377ec07a5069957f5477a4848cfc89a594 postgresql-42.1.4.tar.gz +e7cd5c7955e9eb5ce8cd07feb97230b23d2eec40 postgresql-42.2.2.tar.gz f132329ca1045858ef456cc08b197c9eeea6881b postgresql-9.4.1212.tar.gz 8ee375cfc38972f080dbc78f07b68dac03efe968 ProofGeneral-3.7.1.1.tar.gz 847b52c0676b5eb0fbf0476f64fc08c2d72afd0c ProofGeneral-4.1.tar.gz diff -r 9096895dc2a6 -r a39473b19ee1 Admin/components/main --- a/Admin/components/main Fri Apr 20 11:44:09 2018 +0200 +++ b/Admin/components/main Fri Apr 20 15:40:21 2018 +0200 @@ -12,7 +12,7 @@ kodkodi-1.5.2 nunchaku-0.5 polyml-5.7.1-5 -postgresql-42.1.4 +postgresql-42.2.2 scala-2.12.5 smbc-0.4.1 ssh-java-20161009