# HG changeset patch
# User wenzelm
# Date 1737725747 -3600
# Node ID 2feeac105b537da718d64520a08e169e8e1962f0
# Parent  15d045d0d09322242148caca2bbd215906fc02d1
update to postgresql-42.7.5;
update to sqlite-3.48.0.0;
enforce rebuild of Isabelle/ML and Isabelle/Scala;

diff -r 15d045d0d093 -r 2feeac105b53 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Fri Jan 24 13:06:29 2025 +0100
+++ b/Admin/components/components.sha1	Fri Jan 24 14:35:47 2025 +0100
@@ -459,6 +459,7 @@
 65bf0d99f4e80f5802c573106327c337fe608fe7 postgresql-42.7.1.tar.gz
 459c2b8da13910ba6c89ad91b9d26f4a63615117 postgresql-42.7.3.tar.gz
 6393156f24d911c8f9f242612aec2563514ceb59 postgresql-42.7.4.tar.gz
+ac7b66661335d97bf714a1721febacc11396b837 postgresql-42.7.5.tar.gz
 f132329ca1045858ef456cc08b197c9eeea6881b postgresql-9.4.1212.tar.gz
 3fc5e7f759e7220b9e3fc5bac296e312e34a60ad prismjs-1.29.0.tar.gz
 f042bba5fb82c7eb8aee99f92eb6ec38c8a067f7 python-3.10.4.tar.gz
@@ -514,6 +515,7 @@
 43b5afbcad575ab6817d2289756ca22fd2ef43a9 spass-3.8ds.tar.gz
 24a1397d06c79361d7507d59cbfe39962ce25148 sqlite-3.45.2.0.tar.gz
 1a74d0866ba56aa086686e17965d636df97e4e96 sqlite-3.47.1.0.tar.gz
+7834002b29aff9d381617151f138bcd8df828fa9 sqlite-3.48.0.0.tar.gz
 b016a785f1f78855c00d351ff598355c3b87450f sqlite-jdbc-3.18.0-1.tar.gz
 b85b5bc071a59ef2a8326ceb1617d5a9a5be41cf sqlite-jdbc-3.18.0.tar.gz
 e56117a67ab01fb24c7fc054ede3160cefdac5f8 sqlite-jdbc-3.20.0.tar.gz
diff -r 15d045d0d093 -r 2feeac105b53 Admin/components/main
--- a/Admin/components/main	Fri Jan 24 13:06:29 2025 +0100
+++ b/Admin/components/main	Fri Jan 24 14:35:47 2025 +0100
@@ -28,14 +28,14 @@
 opam-2.0.7
 pdfjs-2.14.305
 polyml-5.9.1
-postgresql-42.7.4
+postgresql-42.7.5
 prismjs-1.29.0
 rsync-3.2.7-1
 scala-3.3.4
 smbc-0.4.1
 solr-9.7.0-1
 spass-3.8ds-2
-sqlite-3.47.1.0
+sqlite-3.48.0.0
 stack-2.15.5
 vampire-4.8
 verit-2021.06.2-rmx-1
diff -r 15d045d0d093 -r 2feeac105b53 src/Pure/Admin/component_postgresql.scala
--- 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 */
diff -r 15d045d0d093 -r 2feeac105b53 src/Pure/Admin/component_sqlite.scala
--- a/src/Pure/Admin/component_sqlite.scala	Fri Jan 24 13:06:29 2025 +0100
+++ b/src/Pure/Admin/component_sqlite.scala	Fri Jan 24 14:35:47 2025 +0100
@@ -11,7 +11,7 @@
   /* build sqlite */
 
   val default_main_url =
-    "https://repo1.maven.org/maven2/org/xerial/sqlite-jdbc/3.47.1.0/sqlite-jdbc-3.47.1.0.jar"
+    "https://repo1.maven.org/maven2/org/xerial/sqlite-jdbc/3.48.0.0/sqlite-jdbc-3.48.0.0.jar"
 
   val default_logger_url =
     "https://repo1.maven.org/maven2/org/slf4j/slf4j-api/2.0.16/slf4j-api-2.0.16.jar"
diff -r 15d045d0d093 -r 2feeac105b53 src/Pure/ROOT.ML
--- a/src/Pure/ROOT.ML	Fri Jan 24 13:06:29 2025 +0100
+++ b/src/Pure/ROOT.ML	Fri Jan 24 14:35:47 2025 +0100
@@ -1,6 +1,6 @@
 (*  Title:      Pure/ROOT.ML
     Author:     Makarius
-    UUID:       b179c273-64ed-4480-82ff-2a8ad1b2eef3
+    UUID:       3d6bbaf8-645c-4431-ba30-9b864c20b009
 
 Main entry point for the Isabelle/Pure bootstrap process.
 
diff -r 15d045d0d093 -r 2feeac105b53 src/Pure/ROOT.scala
--- a/src/Pure/ROOT.scala	Fri Jan 24 13:06:29 2025 +0100
+++ b/src/Pure/ROOT.scala	Fri Jan 24 14:35:47 2025 +0100
@@ -1,6 +1,6 @@
 /*  Title:      Pure/ROOT.scala
     Author:     Makarius
-    UUID:       b179c273-64ed-4480-82ff-2a8ad1b2eef3
+    UUID:       3d6bbaf8-645c-4431-ba30-9b864c20b009
 
 Root of isabelle package.
 */