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.2.9;
authorwenzelm
Sun, 12 Jan 2020 22:21:40 +0100
changeset 71369 897ff7e68a10
parent 71368 fd5cd1daf6a9
child 71370 b05aca9cee75
updated to postgresql-42.2.9;
Admin/components/components.sha1 file | annotate | diff | comparison | revisions
Admin/components/main file | annotate | diff | comparison | revisions 
--- a/Admin/components/components.sha1	Sun Jan 12 21:35:56 2020 +0100
+++ b/Admin/components/components.sha1	Sun Jan 12 22:21:40 2020 +0100
@@ -242,6 +242,7 @@
 3a5d31377ec07a5069957f5477a4848cfc89a594  postgresql-42.1.4.tar.gz
 e7cd5c7955e9eb5ce8cd07feb97230b23d2eec40  postgresql-42.2.2.tar.gz
 231b33c9c3c27d47e3ba01b399103d70509e0731  postgresql-42.2.5.tar.gz
+6335fbc0658e447b5b9bc48c9ad36e33a05bb72b  postgresql-42.2.9.tar.gz
 f132329ca1045858ef456cc08b197c9eeea6881b  postgresql-9.4.1212.tar.gz
 0885e1f1d8feaca78d2f204b6487e6eec6dfab4b  scala-2.10.0.tar.gz
 f7dc7a4e1aea46408fd6e44b8cfacb33af61afbc  scala-2.10.1.tar.gz
--- a/Admin/components/main	Sun Jan 12 21:35:56 2020 +0100
+++ b/Admin/components/main	Sun Jan 12 22:21:40 2020 +0100
@@ -13,7 +13,7 @@
 nunchaku-0.5
 opam-2.0.3-1
 polyml-5.8.1-20191124
-postgresql-42.2.5
+postgresql-42.2.9
 scala-2.12.10
 smbc-0.4.1
 spass-3.8ds-1
isabelle