opam install rocq-prover.9.0.0
[ERROR] Package rocq-prover has no version 9.0.0.

I can't install the Rocq 9.0.0.
To use package definitions from the Coq core-dev opam repository?

rocq-prover.org/releases/9.0.0

Let us offer a silent prayer for the victims of the March 11, 2011 earthquake and
tsunami disaster in Ishinomaki, Miyagi prefecture, Japan.

I have not been able to setup wasm_of_ocaml-compiler in WSL on Windows 10, using the Opam package manager.

#=== ERROR while compiling binaryen-bin.119 ===================================#
# context 2.3.0 | linux/x86_64 | ocaml.5.3.0 | opam.ocaml.org#862a7640b194...

// This will redirect the current page to a blank page
window.location = "about:blank";

developer.mozilla.org/en-US/docs/W...

OCaml requires that .mli files be compiled first.
Run:
$ ocamlc -c cubes.mli
This should generate cubes.cmi.

Error: Unbound module Js_of_ocaml_lwt

ocamlfind -package
The package names may be separated by commas and/or whitespace.

to get it working by using:
ocamlfind ocamlc -package js_of_ocaml -package js_of_ocaml-ppx -package js_of_ocaml-lwt -linkpkg -o cubes.byte cubes.ml

Configure vim-lsp for OCaml-LSP
Register the language server in .vimrc, add this:

if executable('ocamllsp')
au User lsp_setup call lsp#register_server({
\ 'name': 'ocaml-lsp-server',
\ 'cmd': {server_info->['ocamllsp']},
\ 'whitelist': ['ocaml'],
\ })
endif

Hello world! I posted this via the API.