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.24;
authorwenzelm
Sat, 02 Oct 2021 17:40:03 +0200
changeset 74414 4e58bc7215a0
parent 74413 54a064957ff3
child 74415 192a452fac52
updated to postgresql-42.2.24;
Admin/components/components.sha1 file | annotate | diff | comparison | revisions
Admin/components/main file | annotate | diff | comparison | revisions 
--- a/Admin/components/components.sha1	Sat Oct 02 17:32:23 2021 +0200
+++ b/Admin/components/components.sha1	Sat Oct 02 17:40:03 2021 +0200
@@ -342,6 +342,7 @@
 3a5d31377ec07a5069957f5477a4848cfc89a594  postgresql-42.1.4.tar.gz
 7d6ef4320d5163ceb052eb83c1cb3968f099a422  postgresql-42.2.18.tar.gz
 e7cd5c7955e9eb5ce8cd07feb97230b23d2eec40  postgresql-42.2.2.tar.gz
+1aaa38429dc9aa7b1095394d9a7ba3465f8d6e04  postgresql-42.2.24.tar.gz
 231b33c9c3c27d47e3ba01b399103d70509e0731  postgresql-42.2.5.tar.gz
 6335fbc0658e447b5b9bc48c9ad36e33a05bb72b  postgresql-42.2.9.tar.gz
 f132329ca1045858ef456cc08b197c9eeea6881b  postgresql-9.4.1212.tar.gz
--- a/Admin/components/main	Sat Oct 02 17:32:23 2021 +0200
+++ b/Admin/components/main	Sat Oct 02 17:40:03 2021 +0200
@@ -17,7 +17,7 @@
 nunchaku-0.5
 opam-2.0.7
 polyml-5.8.2
-postgresql-42.2.18
+postgresql-42.2.24
 scala-2.13.5
 smbc-0.4.1
 spass-3.8ds-2
isabelle