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