diff -r 5995afcacbc3 -r f48597f265ff Admin/components/main --- a/Admin/components/main Mon Dec 16 13:55:26 2024 +0100 +++ b/Admin/components/main Mon Dec 16 19:09:14 2024 +0100 @@ -39,7 +39,7 @@ verit-2021.06.2-rmx-1 vscode_extension-20241002 vscodium-1.70.1 -xz-java-1.9 +xz-java-1.10 z3-4.4.0pre-4 zipperposition-2.1-1 zstd-jni-1.5.6-8