Admin/components/main
changeset 74415 192a452fac52
parent 74414 4e58bc7215a0
child 74416 9f34c780906e
--- a/Admin/components/main	Sat Oct 02 17:40:03 2021 +0200
+++ b/Admin/components/main	Sat Oct 02 17:45:49 2021 +0200
@@ -21,7 +21,7 @@
 scala-2.13.5
 smbc-0.4.1
 spass-3.8ds-2
-sqlite-jdbc-3.34.0
+sqlite-jdbc-3.36.0.3
 ssh-java-20190323
 stack-2.7.3
 vampire-4.5.1