# HG changeset patch
# User wenzelm
# Date 1689017987 -7200
# Node ID a915e15af0d988c2cdf46382f910f055a9a70180
# Parent  68f1c4ca48c3a1972eace1ab40eda4ea02967ba3
update to current sqlite-jdbc-3.42.0.0;

diff -r 68f1c4ca48c3 -r a915e15af0d9 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Mon Jul 10 21:24:44 2023 +0200
+++ b/Admin/components/components.sha1	Mon Jul 10 21:39:47 2023 +0200
@@ -468,6 +468,7 @@
 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
+3535a04b8612cb1d98f0f7e41a0668e41667ec8b sqlite-jdbc-3.42.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
diff -r 68f1c4ca48c3 -r a915e15af0d9 Admin/components/main
--- a/Admin/components/main	Mon Jul 10 21:24:44 2023 +0200
+++ b/Admin/components/main	Mon Jul 10 21:39:47 2023 +0200
@@ -32,7 +32,7 @@
 scala-3.3.0
 smbc-0.4.1
 spass-3.8ds-2
-sqlite-jdbc-3.41.0.0
+sqlite-jdbc-3.42.0.0
 stack-2.7.3
 vampire-4.6
 verit-2021.06.2-rmx
diff -r 68f1c4ca48c3 -r a915e15af0d9 src/Pure/Admin/component_sqlite.scala
--- a/src/Pure/Admin/component_sqlite.scala	Mon Jul 10 21:24:44 2023 +0200
+++ b/src/Pure/Admin/component_sqlite.scala	Mon Jul 10 21:39:47 2023 +0200
@@ -11,7 +11,7 @@
   /* build sqlite */
 
   val default_download_url =
-    "https://repo1.maven.org/maven2/org/xerial/sqlite-jdbc/3.41.0.0/sqlite-jdbc-3.41.0.0.jar"
+    "https://repo1.maven.org/maven2/org/xerial/sqlite-jdbc/3.42.0.0/sqlite-jdbc-3.42.0.0.jar"
 
   def build_sqlite(
     download_url: String = default_download_url,