--- a/Admin/components/components.sha1 Wed Oct 02 13:50:01 2024 +0200
+++ b/Admin/components/components.sha1 Wed Oct 02 13:51:45 2024 +0200
@@ -553,6 +553,7 @@
86c952d739d1eb868be88898982d4870a3d8c2dc vscode_extension-20220325.tar.gz
5293b9e77e5c887d449b671828b133fad4f18632 vscode_extension-20220829.tar.gz
0d9551ffeb968813b6017278fa7ab9bd6062883f vscode_extension-20230206.tar.gz
+0630f00067dc973dab4c9274c56b79c973c5c494 vscode_extension-20241002.tar.gz
67b271186631f84efd97246bf85f6d8cfaa5edfd vscodium-1.65.2.tar.gz
c439ab741e0cc49354cc03aa9af501202a5a38e3 vscodium-1.70.1.tar.gz
81d21dfd0ea5c58f375301f5166be9dbf8921a7a windows_app-20130716.tar.gz
--- a/Admin/components/main Wed Oct 02 13:50:01 2024 +0200
+++ b/Admin/components/main Wed Oct 02 13:51:45 2024 +0200
@@ -37,7 +37,7 @@
stack-2.15.5
vampire-4.8
verit-2021.06.2-rmx-1
-vscode_extension-20230206
+vscode_extension-20241002
vscodium-1.70.1
xz-java-1.9
z3-4.4.0pre-4