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