updated to postgresql-42.1.1;
authorwenzelm
Sat May 20 21:05:25 2017 +0200 (2017-05-20)
changeset 65883750efd46bba9
parent 65882 5fec47b87bc6
child 65884 d76937b773d9
child 65886 aaa016619678
updated to postgresql-42.1.1;
Admin/components/components.sha1
Admin/components/main
     1.1 --- a/Admin/components/components.sha1	Sat May 20 20:39:19 2017 +0200
     1.2 +++ b/Admin/components/components.sha1	Sat May 20 21:05:25 2017 +0200
     1.3 @@ -144,6 +144,7 @@
     1.4  5fbcab1da2b5eb97f24da2590ece189d55b3a105  polyml-5.7.tar.gz
     1.5  853ab0e9ff2b73790cc80a2d36cbff8b03e50a8e  polyml-test-7a7b742897e9.tar.gz
     1.6  c629cd499a724bbe37b962f727e4ff340c50299d  polyml-test-8529546198aa.tar.gz
     1.7 +53123dc011b2d4b4e8fe307f3c9fa355718ad01a  postgresql-42.1.1.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	Sat May 20 20:39:19 2017 +0200
     2.2 +++ b/Admin/components/main	Sat May 20 21:05:25 2017 +0200
     2.3 @@ -11,7 +11,7 @@
     2.4  kodkodi-1.5.2
     2.5  nunchaku-0.3
     2.6  polyml-5.6-1
     2.7 -postgresql-9.4.1212
     2.8 +postgresql-42.1.1
     2.9  scala-2.12.2
    2.10  ssh-java-20161009
    2.11  spass-3.8ds