Error installing vscoq-language-server on Windows 11

[W1llDu]

Steps:
make switch (4.13.1)
pin coq to 8.19.2

#=== ERROR while compiling coq-core.8.19.2 ====================================#
# context     2.2.1 | win32/x86_64 | ocaml-base-compiler.4.13.1 | https://opam.ocaml.org#b239951e2279e4b35b1fcef0a4da819a409faa5d
# path        C:\opamroot\opam-1ddc8f\coq\.opam-switch\build\coq-core.8.19.2
# command     C:\opamroot\opam-1ddc8f\coq\.opam-switch\build\coq-core.8.19.2\./configure -prefix C:\opamroot\opam-1ddc8f\coq -mandir C:\opamroot\opam-1ddc8f\coq\man -libdir C:\opamroot\opam-1ddc8f\coq\lib/coq -native-compiler no
# exit-code   1
# env-file    C:\opamroot\opam-1ddc8f\log\coq-core-53332-754c34.env
# output-file C:\opamroot\opam-1ddc8f\log\coq-core-53332-754c34.out
### output ###
# Uncaught exception: Invalid_argument("index out of bounds")
# Error while running 'C:\opamroot\opam-1ddc8f\coq\bin/ocamlfind.exe ocamlc -version' (exit code 3)
# Configuration script failed!

coq-core-53332-754c34.env.txt
coq-core-53332-754c34.info.txt
coq-core-53332-754c34.out.txt

[proux01]

Coq currently doesn't work on OPAM for windows. Until we get it to work (might take months), the best solution is probably, as recommended on the official website to resort on the Coq platform: https://coq.inria.fr/download