--- a/src/Pure/Admin/component_postgresql.scala	Fri Jan 24 13:06:29 2025 +0100
+++ b/src/Pure/Admin/component_postgresql.scala	Fri Jan 24 14:35:47 2025 +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.7.4.jar"
+  val default_download_url = "https://jdbc.postgresql.org/download/postgresql-42.7.5.jar"
 
 
   /* build postgresql */