--- 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 */