# HG changeset patch
# User wenzelm
# Date 1734353492 -3600
# Node ID 91dacb5b65742deba98f9785b3154208ae66ad33
# Parent  707c247194be3f02daa685ac76ce7cc99662d054
update to sqlite-3.47.1.0;
enforce rebuild of Isabelle/Scala and Isabelle/ML;

diff -r 707c247194be -r 91dacb5b6574 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Mon Dec 16 13:32:36 2024 +0100
+++ b/Admin/components/components.sha1	Mon Dec 16 13:51:32 2024 +0100
@@ -503,6 +503,7 @@
 edaa1268d82203067657aabcf0371ce7d4b579b9 spass-3.8ds-2.tar.gz
 43b5afbcad575ab6817d2289756ca22fd2ef43a9 spass-3.8ds.tar.gz
 24a1397d06c79361d7507d59cbfe39962ce25148 sqlite-3.45.2.0.tar.gz
+1a74d0866ba56aa086686e17965d636df97e4e96 sqlite-3.47.1.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 707c247194be -r 91dacb5b6574 Admin/components/main
--- a/Admin/components/main	Mon Dec 16 13:32:36 2024 +0100
+++ b/Admin/components/main	Mon Dec 16 13:51:32 2024 +0100
@@ -33,7 +33,7 @@
 scala-3.3.4
 smbc-0.4.1
 spass-3.8ds-2
-sqlite-3.45.2.0
+sqlite-3.47.1.0
 stack-2.15.5
 vampire-4.8
 verit-2021.06.2-rmx-1
diff -r 707c247194be -r 91dacb5b6574 src/Pure/Admin/component_sqlite.scala
--- a/src/Pure/Admin/component_sqlite.scala	Mon Dec 16 13:32:36 2024 +0100
+++ b/src/Pure/Admin/component_sqlite.scala	Mon Dec 16 13:51:32 2024 +0100
@@ -11,10 +11,10 @@
   /* build sqlite */
 
   val default_main_url =
-    "https://repo1.maven.org/maven2/org/xerial/sqlite-jdbc/3.45.2.0/sqlite-jdbc-3.45.2.0.jar"
+    "https://repo1.maven.org/maven2/org/xerial/sqlite-jdbc/3.47.1.0/sqlite-jdbc-3.47.1.0.jar"
 
   val default_logger_url =
-    "https://repo1.maven.org/maven2/org/slf4j/slf4j-api/1.7.36/slf4j-api-1.7.36.jar"
+    "https://repo1.maven.org/maven2/org/slf4j/slf4j-api/2.0.16/slf4j-api-2.0.16.jar"
 
   private def jar_name(url: String): String = {
     Url.get_base_name(url, suffix = ".jar") getOrElse
diff -r 707c247194be -r 91dacb5b6574 src/Pure/ROOT.ML
--- a/src/Pure/ROOT.ML	Mon Dec 16 13:32:36 2024 +0100
+++ b/src/Pure/ROOT.ML	Mon Dec 16 13:51:32 2024 +0100
@@ -373,4 +373,3 @@
 ML_file "Tools/jedit.ML";
 ML_file "Tools/ghc.ML";
 ML_file "Tools/generated_files.ML";
-
diff -r 707c247194be -r 91dacb5b6574 src/Pure/ROOT.scala
--- a/src/Pure/ROOT.scala	Mon Dec 16 13:32:36 2024 +0100
+++ b/src/Pure/ROOT.scala	Mon Dec 16 13:51:32 2024 +0100
@@ -29,3 +29,4 @@
   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)
 }
+