Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
update to sqlite-3.49.1.0;
authorwenzelm
Sat, 13 Sep 2025 19:38:20 +0200
changeset 83150 d1b49f9859ac
parent 83149 b6ad7d2fc589
child 83151 954fe62909e9
update to sqlite-3.49.1.0; enforce rebuild of Isabelle/ML and Isabelle/Scala;
Admin/components/components.sha1 file | annotate | diff | comparison | revisions
Admin/components/main file | annotate | diff | comparison | revisions
src/Pure/Admin/component_sqlite.scala file | annotate | diff | comparison | revisions
src/Pure/ROOT.ML file | annotate | diff | comparison | revisions
src/Pure/ROOT.scala file | annotate | diff | comparison | revisions 
--- a/Admin/components/components.sha1	Sat Sep 13 19:19:02 2025 +0200
+++ b/Admin/components/components.sha1	Sat Sep 13 19:38:20 2025 +0200
@@ -562,6 +562,7 @@
 24a1397d06c79361d7507d59cbfe39962ce25148 sqlite-3.45.2.0.tar.gz
 1a74d0866ba56aa086686e17965d636df97e4e96 sqlite-3.47.1.0.tar.gz
 7834002b29aff9d381617151f138bcd8df828fa9 sqlite-3.48.0.0.tar.gz
+e6e995fd6eb34c78234be60ccf3b5ad1bfc25c46 sqlite-3.49.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
--- a/Admin/components/main	Sat Sep 13 19:19:02 2025 +0200
+++ b/Admin/components/main	Sat Sep 13 19:38:20 2025 +0200
@@ -36,7 +36,7 @@
 smbc-0.4.1
 solr-9.7.0-1
 spass-3.8ds-2
-sqlite-3.48.0.0
+sqlite-3.49.1.0
 stack-2.15.7
 vampire-4.8
 verit-2021.06.2-rmx-1
--- a/src/Pure/Admin/component_sqlite.scala	Sat Sep 13 19:19:02 2025 +0200
+++ b/src/Pure/Admin/component_sqlite.scala	Sat Sep 13 19:38:20 2025 +0200
@@ -11,10 +11,10 @@
   /* build sqlite */
 
   val default_main_url =
-    "https://repo1.maven.org/maven2/org/xerial/sqlite-jdbc/3.48.0.0/sqlite-jdbc-3.48.0.0.jar"
+    "https://repo1.maven.org/maven2/org/xerial/sqlite-jdbc/3.49.1.0/sqlite-jdbc-3.49.1.0.jar"
 
   val default_logger_url =
-    "https://repo1.maven.org/maven2/org/slf4j/slf4j-api/2.0.16/slf4j-api-2.0.16.jar"
+    "https://repo1.maven.org/maven2/org/slf4j/slf4j-api/2.0.17/slf4j-api-2.0.17.jar"
 
   private def jar_name(url: String): String = {
     Url.get_base_name(url, suffix = ".jar") getOrElse
--- a/src/Pure/ROOT.ML	Sat Sep 13 19:19:02 2025 +0200
+++ b/src/Pure/ROOT.ML	Sat Sep 13 19:38:20 2025 +0200
@@ -1,6 +1,6 @@
 (*  Title:      Pure/ROOT.ML
     Author:     Makarius
-    UUID:       6edfab53-c9fc-4aa9-b322-5c8796158d5d
+    UUID:       395939fa-0e0a-4b36-9300-2c92c0362e47
 
 Main entry point for the Isabelle/Pure bootstrap process.
 
--- a/src/Pure/ROOT.scala	Sat Sep 13 19:19:02 2025 +0200
+++ b/src/Pure/ROOT.scala	Sat Sep 13 19:38:20 2025 +0200
@@ -1,6 +1,6 @@
 /*  Title:      Pure/ROOT.scala
     Author:     Makarius
-    UUID:       20ff30ad-0371-4a95-972a-c97b68861fb6
+    UUID:       395939fa-0e0a-4b36-9300-2c92c0362e47
 
 Root of isabelle package.
 */
isabelle