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.
updated to sqlite-jdbc-3.32.3.2;
authorwenzelm
Wed, 30 Sep 2020 22:59:33 +0200
changeset 72347 e18e15b9e2ab
parent 72346 93e533198bf6
child 72348 7d3a96acae28
updated to sqlite-jdbc-3.32.3.2; support arm64-linux;
Admin/components/components.sha1 file | annotate | diff | comparison | revisions
Admin/components/main file | annotate | diff | comparison | revisions 
--- a/Admin/components/components.sha1	Wed Sep 30 22:55:35 2020 +0200
+++ b/Admin/components/components.sha1	Wed Sep 30 22:59:33 2020 +0200
@@ -299,6 +299,7 @@
 27aeac6a91353d69f0438837798ac4ae6f9ff8c5  sqlite-jdbc-3.23.1.tar.gz
 4d17611857fa3a93944c1f159c0fd2a161967aaf  sqlite-jdbc-3.27.2.1.tar.gz
 806be457eb79408fcc5a72aeca3f64b2d89a6b63  sqlite-jdbc-3.30.1.tar.gz
+cba2b194114216b226d75d49a70d1bd12b141ac8  sqlite-jdbc-3.32.3.2.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 Sep 30 22:55:35 2020 +0200
+++ b/Admin/components/main	Wed Sep 30 22:59:33 2020 +0200
@@ -17,7 +17,7 @@
 scala-2.12.12
 smbc-0.4.1
 spass-3.8ds-1
-sqlite-jdbc-3.30.1
+sqlite-jdbc-3.32.3.2
 ssh-java-20190323
 stack-2.1.3
 vampire-4.2.2
isabelle