Admin/components/main
changeset 74064 d871882ad651
parent 74061 203dfa8bc0fc
child 74068 62e4ec8cff38
--- a/Admin/components/main	Sun Jul 25 12:43:07 2021 +0200
+++ b/Admin/components/main	Sun Jul 25 14:46:08 2021 +0200
@@ -23,7 +23,7 @@
 spass-3.8ds-2
 sqlite-jdbc-3.34.0
 ssh-java-20190323
-stack-2.5.1
+stack-2.7.3
 vampire-4.2.2
 verit-2020.10-rmx-1
 xz-java-1.8