# HG changeset patch
# User wenzelm
# Date 1734352356 -3600
# Node ID 707c247194be3f02daa685ac76ce7cc99662d054
# Parent  b0532b178d1126f18cece7e76f6365d64fe5b0a4
updated to postgresql-42.7.4;
enforce rebuild of Isabelle/Scala and Isabelle/ML;

diff -r b0532b178d11 -r 707c247194be Admin/components/components.sha1
--- a/Admin/components/components.sha1	Mon Dec 16 13:13:05 2024 +0100
+++ b/Admin/components/components.sha1	Mon Dec 16 13:32:36 2024 +0100
@@ -450,6 +450,7 @@
 36a6e17794a93070278ac590650870ab73e6a7fb postgresql-42.6.0.tar.gz
 65bf0d99f4e80f5802c573106327c337fe608fe7 postgresql-42.7.1.tar.gz
 459c2b8da13910ba6c89ad91b9d26f4a63615117 postgresql-42.7.3.tar.gz
+6393156f24d911c8f9f242612aec2563514ceb59 postgresql-42.7.4.tar.gz
 f132329ca1045858ef456cc08b197c9eeea6881b postgresql-9.4.1212.tar.gz
 3fc5e7f759e7220b9e3fc5bac296e312e34a60ad prismjs-1.29.0.tar.gz
 f042bba5fb82c7eb8aee99f92eb6ec38c8a067f7 python-3.10.4.tar.gz
diff -r b0532b178d11 -r 707c247194be Admin/components/main
--- a/Admin/components/main	Mon Dec 16 13:13:05 2024 +0100
+++ b/Admin/components/main	Mon Dec 16 13:32:36 2024 +0100
@@ -27,7 +27,7 @@
 opam-2.0.7
 pdfjs-2.14.305
 polyml-5.9.1
-postgresql-42.7.3
+postgresql-42.7.4
 prismjs-1.29.0
 rsync-3.2.7-1
 scala-3.3.4
diff -r b0532b178d11 -r 707c247194be src/Pure/Admin/component_postgresql.scala
--- a/src/Pure/Admin/component_postgresql.scala	Mon Dec 16 13:13:05 2024 +0100
+++ b/src/Pure/Admin/component_postgresql.scala	Mon Dec 16 13:32:36 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.7.3.jar"
+  val default_download_url = "https://jdbc.postgresql.org/download/postgresql-42.7.4.jar"
 
 
   /* build postgresql */
diff -r b0532b178d11 -r 707c247194be src/Pure/ROOT.ML
--- a/src/Pure/ROOT.ML	Mon Dec 16 13:13:05 2024 +0100
+++ b/src/Pure/ROOT.ML	Mon Dec 16 13:32:36 2024 +0100
@@ -373,3 +373,4 @@
 ML_file "Tools/jedit.ML";
 ML_file "Tools/ghc.ML";
 ML_file "Tools/generated_files.ML";
+
diff -r b0532b178d11 -r 707c247194be src/Pure/ROOT.scala
--- a/src/Pure/ROOT.scala	Mon Dec 16 13:13:05 2024 +0100
+++ b/src/Pure/ROOT.scala	Mon Dec 16 13:32:36 2024 +0100
@@ -29,4 +29,3 @@
   def if_proper[A](x: Iterable[A], body: => String): String = Library.if_proper(x, body)
   def if_proper(b: Boolean, body: => String): String = Library.if_proper(b, body)
 }
-