--- a/Admin/components/main Thu Mar 24 20:45:14 2022 +0100
+++ b/Admin/components/main Thu Mar 24 22:27:17 2022 +0100
@@ -29,6 +29,7 @@
stack-2.7.3
vampire-4.6
verit-2021.06.2-rmx
+vscode_extension-20220324
xz-java-1.9
z3-4.4.0_4.4.1
zipperposition-2.1-1