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.18;
authorwenzelm
Mon, 30 Nov 2020 16:34:03 +0100
changeset 72790 427b18abf925
parent 72789 935f028d5f44
child 72791 b79755daf0ad
updated to postgresql-42.2.18;
Admin/components/components.sha1 file | annotate | diff | comparison | revisions
Admin/components/main file | annotate | diff | comparison | revisions 
--- a/Admin/components/components.sha1	Mon Nov 30 16:22:42 2020 +0100
+++ b/Admin/components/components.sha1	Mon Nov 30 16:34:03 2020 +0100
@@ -278,6 +278,7 @@
 a619177143fea42a464f49bb864665407c07a16c  polyml-test-fb4f42af00fa.tar.gz
 53123dc011b2d4b4e8fe307f3c9fa355718ad01a  postgresql-42.1.1.tar.gz
 3a5d31377ec07a5069957f5477a4848cfc89a594  postgresql-42.1.4.tar.gz
+7d6ef4320d5163ceb052eb83c1cb3968f099a422  postgresql-42.2.18.tar.gz
 e7cd5c7955e9eb5ce8cd07feb97230b23d2eec40  postgresql-42.2.2.tar.gz
 231b33c9c3c27d47e3ba01b399103d70509e0731  postgresql-42.2.5.tar.gz
 6335fbc0658e447b5b9bc48c9ad36e33a05bb72b  postgresql-42.2.9.tar.gz
--- a/Admin/components/main	Mon Nov 30 16:22:42 2020 +0100
+++ b/Admin/components/main	Mon Nov 30 16:34:03 2020 +0100
@@ -13,7 +13,7 @@
 nunchaku-0.5
 opam-2.0.7
 polyml-test-f86ae3dc1686
-postgresql-42.2.9
+postgresql-42.2.18
 scala-2.12.12
 smbc-0.4.1
 spass-3.8ds-2
isabelle