# HG changeset patch
# User wenzelm
# Date 1578866082 -3600
# Node ID b05aca9cee756ab02c8d14b0e9f40302399e754d
# Parent  897ff7e68a10459ad9d44d9c28aaf80190ba28ec
updated to sqlite-jdbc-3.30.1;

diff -r 897ff7e68a10 -r b05aca9cee75 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Sun Jan 12 22:21:40 2020 +0100
+++ b/Admin/components/components.sha1	Sun Jan 12 22:54:42 2020 +0100
@@ -276,6 +276,7 @@
 e56117a67ab01fb24c7fc054ede3160cefdac5f8  sqlite-jdbc-3.20.0.tar.gz
 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
 8d20968603f45a2c640081df1ace6a8b0527452a  sqlite-jdbc-3.8.11.2.tar.gz
 2369f06e8d095f9ba26df938b1a96000e535afff  ssh-java-20161009.tar.gz
 a2335d28b5b95d8d26500a53f1a9303fc5beaf36  ssh-java-20190323.tar.gz
diff -r 897ff7e68a10 -r b05aca9cee75 Admin/components/main
--- a/Admin/components/main	Sun Jan 12 22:21:40 2020 +0100
+++ b/Admin/components/main	Sun Jan 12 22:54:42 2020 +0100
@@ -17,7 +17,7 @@
 scala-2.12.10
 smbc-0.4.1
 spass-3.8ds-1
-sqlite-jdbc-3.27.2.1
+sqlite-jdbc-3.30.1
 ssh-java-20190323
 stack-1.9.3
 vampire-4.2.2