diff -r b10926dbb763 -r cee207c2ddec Admin/components/main
--- a/Admin/components/main	Wed Nov 30 15:38:58 2022 +0100
+++ b/Admin/components/main	Wed Nov 30 15:53:21 2022 +0100
@@ -31,7 +31,7 @@
 scala-3.2.1
 smbc-0.4.1
 spass-3.8ds-2
-sqlite-jdbc-3.36.0.3
+sqlite-jdbc-3.39.4.1
 stack-2.7.3
 vampire-4.6
 verit-2021.06.2-rmx