--- a/Admin/components/main Wed Mar 08 22:40:15 2023 +0100
+++ b/Admin/components/main Wed Mar 08 22:40:47 2023 +0100
@@ -31,7 +31,7 @@
scala-3.2.0-2
smbc-0.4.1
spass-3.8ds-2
-sqlite-jdbc-3.39.4.1
+sqlite-jdbc-3.41.0.0
stack-2.7.3
vampire-4.6
verit-2021.06.2-rmx