| changeset 76020 | 04ce6cf2bd3b |
| parent 75869 | ee2f93fa2440 |
| child 76076 | 6508c21734f1 |
--- a/Admin/components/main Mon Aug 29 19:26:27 2022 +0200 +++ b/Admin/components/main Mon Aug 29 23:59:47 2022 +0200 @@ -29,8 +29,8 @@ stack-2.7.3 vampire-4.6 verit-2021.06.2-rmx -vscode_extension-20220325 -vscodium-1.65.2 +vscode_extension-20220829 +vscodium-1.70.1 xz-java-1.9 z3-4.4.0_4.4.1 zipperposition-2.1-1