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.
activate postgresql-42.7.3;
authorwenzelm
Thu, 21 Mar 2024 14:29:01 +0100
changeset 79953 e5fda68d4996
parent 79952 a2b06af75d3b
child 79954 475074795dca
activate postgresql-42.7.3;
Admin/components/main file | annotate | diff | comparison | revisions 
--- a/Admin/components/main	Thu Mar 21 14:26:45 2024 +0100
+++ b/Admin/components/main	Thu Mar 21 14:29:01 2024 +0100
@@ -27,7 +27,7 @@
 opam-2.0.7
 pdfjs-2.14.305
 polyml-5.9.1
-postgresql-42.7.1
+postgresql-42.7.3
 prismjs-1.29.0
 rsync-3.2.7
 scala-3.3.3
isabelle