--- a/Admin/components/components.sha1 Wed Mar 08 22:40:15 2023 +0100
+++ b/Admin/components/components.sha1 Wed Mar 08 22:40:47 2023 +0100
@@ -460,6 +460,7 @@
29306acd6ce9f4c87032b2c271c6df035fe7d4d3 sqlite-jdbc-3.34.0.tar.gz
8a2ca4d02cfedbfe4dad4490f1ed3ddba33a009a sqlite-jdbc-3.36.0.3.tar.gz
d2c707638b08ad56469b92dc2941d403efbb3394 sqlite-jdbc-3.39.4.1.tar.gz
+12cb90b265bc2308858c63f00d5ecbfb80603dbd sqlite-jdbc-3.41.0.0.tar.gz
8d20968603f45a2c640081df1ace6a8b0527452a sqlite-jdbc-3.8.11.2.tar.gz
2369f06e8d095f9ba26df938b1a96000e535afff ssh-java-20161009.tar.gz
a2335d28b5b95d8d26500a53f1a9303fc5beaf36 ssh-java-20190323.tar.gz
--- a/Admin/components/main Wed Mar 08 22:40:15 2023 +0100
+++ b/Admin/components/main Wed Mar 08 22:40:47 2023 +0100
@@ -31,7 +31,7 @@
scala-3.2.0-2
smbc-0.4.1
spass-3.8ds-2
-sqlite-jdbc-3.39.4.1
+sqlite-jdbc-3.41.0.0
stack-2.7.3
vampire-4.6
verit-2021.06.2-rmx
--- a/src/Pure/Admin/component_sqlite.scala Wed Mar 08 22:40:15 2023 +0100
+++ b/src/Pure/Admin/component_sqlite.scala Wed Mar 08 22:40:47 2023 +0100
@@ -11,7 +11,7 @@
/* build sqlite */
val default_download_url =
- "https://repo1.maven.org/maven2/org/xerial/sqlite-jdbc/3.39.4.1/sqlite-jdbc-3.39.4.1.jar"
+ "https://repo1.maven.org/maven2/org/xerial/sqlite-jdbc/3.41.0.0/sqlite-jdbc-3.41.0.0.jar"
def build_sqlite(
download_url: String = default_download_url,