--- a/Admin/components/main Mon Jul 10 21:24:44 2023 +0200
+++ b/Admin/components/main Mon Jul 10 21:39:47 2023 +0200
@@ -32,7 +32,7 @@
scala-3.3.0
smbc-0.4.1
spass-3.8ds-2
-sqlite-jdbc-3.41.0.0
+sqlite-jdbc-3.42.0.0
stack-2.7.3
vampire-4.6
verit-2021.06.2-rmx