update to postgresql-42.7.7;
enforce rebuild of Isabelle/Scala;

--- a/Admin/components/components.sha1	Sat Sep 13 19:03:19 2025 +0200
+++ b/Admin/components/components.sha1	Sat Sep 13 19:19:02 2025 +0200
@@ -504,6 +504,7 @@
 459c2b8da13910ba6c89ad91b9d26f4a63615117 postgresql-42.7.3.tar.gz
 6393156f24d911c8f9f242612aec2563514ceb59 postgresql-42.7.4.tar.gz
 ac7b66661335d97bf714a1721febacc11396b837 postgresql-42.7.5.tar.gz
+f876d35cf3d41430fb92c8074a0de94b2d57f27c postgresql-42.7.7.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 Sep 13 19:03:19 2025 +0200
+++ b/Admin/components/main	Sat Sep 13 19:19:02 2025 +0200
@@ -29,7 +29,7 @@
 opam-2.0.7
 pdfjs-2.14.305
 polyml-5.9.1-1
-postgresql-42.7.5
+postgresql-42.7.7
 prismjs-1.29.0
 rsync-3.2.7-1
 scala-3.3.4

--- a/src/Pure/Admin/component_postgresql.scala	Sat Sep 13 19:03:19 2025 +0200
+++ b/src/Pure/Admin/component_postgresql.scala	Sat Sep 13 19:19:02 2025 +0200
@@ -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.5.jar"
+  val default_download_url = "https://jdbc.postgresql.org/download/postgresql-42.7.7.jar"
 
 
   /* build postgresql */

--- a/src/Pure/ROOT.scala	Sat Sep 13 19:03:19 2025 +0200
+++ b/src/Pure/ROOT.scala	Sat Sep 13 19:19:02 2025 +0200
@@ -1,6 +1,6 @@
 /*  Title:      Pure/ROOT.scala
     Author:     Makarius
-    UUID:       662938be-f6dc-4b35-a648-908750fa5b7c
+    UUID:       20ff30ad-0371-4a95-972a-c97b68861fb6
 
 Root of isabelle package.
 */