updated to postgresql-42.2.2, with more smooth support for Java 9/10;
authorwenzelm
Fri Apr 20 15:40:21 2018 +0200 (6 months ago)
changeset 68015a39473b19ee1
parent 68014 9096895dc2a6
child 68016 5eb4081e6bf6
updated to postgresql-42.2.2, with more smooth support for Java 9/10;
Admin/components/components.sha1
Admin/components/main
     1.1 --- a/Admin/components/components.sha1	Fri Apr 20 11:44:09 2018 +0200
     1.2 +++ b/Admin/components/components.sha1	Fri Apr 20 15:40:21 2018 +0200
     1.3 @@ -177,6 +177,7 @@
     1.4  a619177143fea42a464f49bb864665407c07a16c  polyml-test-fb4f42af00fa.tar.gz
     1.5  53123dc011b2d4b4e8fe307f3c9fa355718ad01a  postgresql-42.1.1.tar.gz
     1.6  3a5d31377ec07a5069957f5477a4848cfc89a594  postgresql-42.1.4.tar.gz
     1.7 +e7cd5c7955e9eb5ce8cd07feb97230b23d2eec40  postgresql-42.2.2.tar.gz
     1.8  f132329ca1045858ef456cc08b197c9eeea6881b  postgresql-9.4.1212.tar.gz
     1.9  8ee375cfc38972f080dbc78f07b68dac03efe968  ProofGeneral-3.7.1.1.tar.gz
    1.10  847b52c0676b5eb0fbf0476f64fc08c2d72afd0c  ProofGeneral-4.1.tar.gz
     2.1 --- a/Admin/components/main	Fri Apr 20 11:44:09 2018 +0200
     2.2 +++ b/Admin/components/main	Fri Apr 20 15:40:21 2018 +0200
     2.3 @@ -12,7 +12,7 @@
     2.4  kodkodi-1.5.2
     2.5  nunchaku-0.5
     2.6  polyml-5.7.1-5
     2.7 -postgresql-42.1.4
     2.8 +postgresql-42.2.2
     2.9  scala-2.12.5
    2.10  smbc-0.4.1
    2.11  ssh-java-20161009