Install the rocq-prover instruction leads to an error

[xvw]

Hi, congratulation for the new website!

Looking on the following section: https://rocq-prover.org/docs/installing-rocq#install-the-rocq-prover

$ opam pin add rocq 9.0.0

Leads to [ERROR] Package rocq has no known version 9.0.0 in the repositories. I assume this is because the package (as rocq) has not yet been submitted on OPAM so I suggest leaving the issue open while the installation guidelines work.

[Zimmi48]

Indeed, your assumption is correct.