updated to postgresql-42.7.1;

--- a/Admin/components/components.sha1	Sat Jan 20 22:18:29 2024 +0100
+++ b/Admin/components/components.sha1	Sat Jan 20 22:26:35 2024 +0100
@@ -426,6 +426,7 @@
 f84c7ecafb07a0d763f1d70edc54f7c43c2e8c63 postgresql-42.4.0.tar.gz
 143d0d32a13d7d8e15b9bab866e14ad4308a6246 postgresql-42.5.0.tar.gz
 36a6e17794a93070278ac590650870ab73e6a7fb postgresql-42.6.0.tar.gz
+65bf0d99f4e80f5802c573106327c337fe608fe7 postgresql-42.7.1.tar.gz
 f132329ca1045858ef456cc08b197c9eeea6881b postgresql-9.4.1212.tar.gz
 3fc5e7f759e7220b9e3fc5bac296e312e34a60ad prismjs-1.29.0.tar.gz
 f042bba5fb82c7eb8aee99f92eb6ec38c8a067f7 python-3.10.4.tar.gz

--- a/Admin/components/main	Sat Jan 20 22:18:29 2024 +0100
+++ b/Admin/components/main	Sat Jan 20 22:26:35 2024 +0100
@@ -27,7 +27,7 @@
 opam-2.0.7
 pdfjs-2.14.305
 polyml-5.9.1
-postgresql-42.6.0
+postgresql-42.7.1
 prismjs-1.29.0
 rsync-3.2.7
 scala-3.3.0

--- a/src/Pure/Admin/component_postgresql.scala	Sat Jan 20 22:18:29 2024 +0100
+++ b/src/Pure/Admin/component_postgresql.scala	Sat Jan 20 22:26:35 2024 +0100
@@ -13,7 +13,7 @@
   val notable_urls =
     List("https://jdbc.postgresql.org", "https://jdbc.postgresql.org/download")
 
-  val default_download_url = "https://jdbc.postgresql.org/download/postgresql-42.6.0.jar"
+  val default_download_url = "https://jdbc.postgresql.org/download/postgresql-42.7.1.jar"
 
 
   /* build postgresql */