--- a/Admin/components/main Thu Apr 04 14:30:58 2019 +0200
+++ b/Admin/components/main Thu Apr 04 14:45:34 2019 +0200
@@ -17,7 +17,7 @@
scala-2.12.8
smbc-0.4.1
spass-3.8ds-1
-sqlite-jdbc-3.23.1
+sqlite-jdbc-3.27.2.1
ssh-java-20190323
stack-1.9.3
vampire-4.2.2