Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
proper set_executable for sqlitejdbc.dll (see also 3b0f8f1010f2);
authorwenzelm
Tue, 11 Jul 2023 15:31:29 +0200
changeset 78303 3ef8313d0252
parent 78302 27521a4779bd
child 78304 e4b57eea7f86
proper set_executable for sqlitejdbc.dll (see also 3b0f8f1010f2);
Admin/components/components.sha1 file | annotate | diff | comparison | revisions
Admin/components/main file | annotate | diff | comparison | revisions 
--- 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
--- 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
isabelle