# HG changeset patch
# User wenzelm
# Date 1689082289 -7200
# Node ID 3ef8313d0252723695746440993246e0a0f7d67e
# Parent  27521a4779bdb4ebfa112c1bb5201a08ed582536
proper set_executable for sqlitejdbc.dll (see also 3b0f8f1010f2);

diff -r 27521a4779bd -r 3ef8313d0252 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Tue Jul 11 15:15:27 2023 +0200
+++ b/Admin/components/components.sha1	Tue Jul 11 15:31:29 2023 +0200
@@ -469,6 +469,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
+68b1b61cffb1e6d4f5821cd6c3bebf2a74af6a97 sqlite-jdbc-3.42.0.0-1.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
diff -r 27521a4779bd -r 3ef8313d0252 Admin/components/main
--- a/Admin/components/main	Tue Jul 11 15:15:27 2023 +0200
+++ b/Admin/components/main	Tue Jul 11 15:31:29 2023 +0200
@@ -32,7 +32,7 @@
 scala-3.3.0
 smbc-0.4.1
 spass-3.8ds-2
-sqlite-jdbc-3.42.0.0
+sqlite-jdbc-3.42.0.0-1
 stack-2.9.3
 vampire-4.6
 verit-2021.06.2-rmx