# HG changeset patch
# User wenzelm
# Date 1686144472 -7200
# Node ID 5faedbc01c07d4d5ffa6a07dd612bcccdce5082a
# Parent  2a28450b992bdb03940c181fa073accdc40da4e0
updated to postgresql-42.6.0;

diff -r 2a28450b992b -r 5faedbc01c07 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Wed Jun 07 14:29:25 2023 +0200
+++ b/Admin/components/components.sha1	Wed Jun 07 15:27:52 2023 +0200
@@ -409,6 +409,7 @@
 6335fbc0658e447b5b9bc48c9ad36e33a05bb72b postgresql-42.2.9.tar.gz
 f84c7ecafb07a0d763f1d70edc54f7c43c2e8c63 postgresql-42.4.0.tar.gz
 143d0d32a13d7d8e15b9bab866e14ad4308a6246 postgresql-42.5.0.tar.gz
+36a6e17794a93070278ac590650870ab73e6a7fb postgresql-42.6.0.tar.gz
 f132329ca1045858ef456cc08b197c9eeea6881b postgresql-9.4.1212.tar.gz
 3fc5e7f759e7220b9e3fc5bac296e312e34a60ad prismjs-1.29.0.tar.gz
 f042bba5fb82c7eb8aee99f92eb6ec38c8a067f7 python-3.10.4.tar.gz
diff -r 2a28450b992b -r 5faedbc01c07 Admin/components/main
--- a/Admin/components/main	Wed Jun 07 14:29:25 2023 +0200
+++ b/Admin/components/main	Wed Jun 07 15:27:52 2023 +0200
@@ -26,7 +26,7 @@
 opam-2.0.7
 pdfjs-2.14.305
 polyml-a5d5fba90286
-postgresql-42.5.0
+postgresql-42.6.0
 prismjs-1.29.0
 rsync-3.2.7
 scala-3.3.0
diff -r 2a28450b992b -r 5faedbc01c07 src/Pure/Admin/component_postgresql.scala
--- a/src/Pure/Admin/component_postgresql.scala	Wed Jun 07 14:29:25 2023 +0200
+++ b/src/Pure/Admin/component_postgresql.scala	Wed Jun 07 15:27:52 2023 +0200
@@ -11,9 +11,9 @@
   /* URLs */
 
   val notable_urls =
-    List("https://jdbc.postgresql.org", "https://jdbc.postgresql.org/download.html")
+    List("https://jdbc.postgresql.org", "https://jdbc.postgresql.org/download")
 
-  val default_download_url = "https://jdbc.postgresql.org/download/postgresql-42.5.0.jar"
+  val default_download_url = "https://jdbc.postgresql.org/download/postgresql-42.6.0.jar"
 
 
   /* build postgresql */