--- 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