--- 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