--- a/Admin/components/main Fri Mar 25 10:45:47 2022 +0100
+++ b/Admin/components/main Fri Mar 25 13:25:26 2022 +0100
@@ -29,7 +29,7 @@
stack-2.7.3
vampire-4.6
verit-2021.06.2-rmx
-vscode_extension-20220324
+vscode_extension-20220325
vscodium-1.65.2
xz-java-1.9
z3-4.4.0_4.4.1