--- a/Admin/components/main Sat Jan 20 20:24:04 2024 +0100
+++ b/Admin/components/main Sat Jan 20 22:18:29 2024 +0100
@@ -33,7 +33,7 @@
scala-3.3.0
smbc-0.4.1
spass-3.8ds-2
-sqlite-jdbc-3.42.0.0-1
+sqlite-jdbc-3.45.0.0
stack-2.13.1
vampire-4.8
verit-2021.06.2-rmx