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.5.0;
authorwenzelm
Wed, 07 Sep 2022 11:17:46 +0200
changeset 76076 6508c21734f1
parent 76075 2e7211754ef1
child 76077 0f48e873e187
updated to postgresql-42.5.0;
Admin/components/components.sha1 file | annotate | diff | comparison | revisions
Admin/components/main file | annotate | diff | comparison | revisions 
--- a/Admin/components/components.sha1	Wed Sep 07 11:15:04 2022 +0200
+++ b/Admin/components/components.sha1	Wed Sep 07 11:17:46 2022 +0200
@@ -381,6 +381,7 @@
 231b33c9c3c27d47e3ba01b399103d70509e0731 postgresql-42.2.5.tar.gz
 6335fbc0658e447b5b9bc48c9ad36e33a05bb72b postgresql-42.2.9.tar.gz
 f84c7ecafb07a0d763f1d70edc54f7c43c2e8c63 postgresql-42.4.0.tar.gz
+143d0d32a13d7d8e15b9bab866e14ad4308a6246 postgresql-42.5.0.tar.gz
 f132329ca1045858ef456cc08b197c9eeea6881b postgresql-9.4.1212.tar.gz
 f042bba5fb82c7eb8aee99f92eb6ec38c8a067f7 python-3.10.4.tar.gz
 0885e1f1d8feaca78d2f204b6487e6eec6dfab4b scala-2.10.0.tar.gz
--- a/Admin/components/main	Wed Sep 07 11:15:04 2022 +0200
+++ b/Admin/components/main	Wed Sep 07 11:17:46 2022 +0200
@@ -20,7 +20,7 @@
 opam-2.0.7
 pdfjs-2.14.305
 polyml-test-15c840d48c9a
-postgresql-42.4.0
+postgresql-42.5.0
 scala-3.1.3
 smbc-0.4.1
 spass-3.8ds-2
isabelle