Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
updated to postgresql-42.1.4;
authorwenzelm
Mon, 21 Aug 2017 15:54:51 +0200
changeset 66470 33aa9abd71cb
parent 66469 a6ec0172211a
child 66471 80736667cc2e
updated to postgresql-42.1.4;
Admin/components/components.sha1 file | annotate | diff | comparison | revisions
Admin/components/main file | annotate | diff | comparison | revisions 
--- a/Admin/components/components.sha1	Mon Aug 21 15:23:04 2017 +0200
+++ b/Admin/components/components.sha1	Mon Aug 21 15:54:51 2017 +0200
@@ -148,6 +148,7 @@
 853ab0e9ff2b73790cc80a2d36cbff8b03e50a8e  polyml-test-7a7b742897e9.tar.gz
 c629cd499a724bbe37b962f727e4ff340c50299d  polyml-test-8529546198aa.tar.gz
 53123dc011b2d4b4e8fe307f3c9fa355718ad01a  postgresql-42.1.1.tar.gz
+3a5d31377ec07a5069957f5477a4848cfc89a594  postgresql-42.1.4.tar.gz
 f132329ca1045858ef456cc08b197c9eeea6881b  postgresql-9.4.1212.tar.gz
 8ee375cfc38972f080dbc78f07b68dac03efe968  ProofGeneral-3.7.1.1.tar.gz
 847b52c0676b5eb0fbf0476f64fc08c2d72afd0c  ProofGeneral-4.1.tar.gz
--- a/Admin/components/main	Mon Aug 21 15:23:04 2017 +0200
+++ b/Admin/components/main	Mon Aug 21 15:54:51 2017 +0200
@@ -11,7 +11,7 @@
 kodkodi-1.5.2
 nunchaku-0.3
 polyml-5.6-1
-postgresql-42.1.1
+postgresql-42.1.4
 scala-2.12.3
 ssh-java-20161009
 spass-3.8ds
isabelle