src/Pure/Admin/component_sqlite.scala
changeset 81969 2feeac105b53
parent 81605 91dacb5b6574
--- 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"