Installation notes from https://coq.inria.fr/opam-using.html
tells to do "opam pin add coq 8.15.2"
but there does not seem to exist such a package,
"8.15.1" is "lastest" on https://opam.ocaml.org/packages/coq/
Right, we shouldn't have merged the PR updating the website before the opam package is ready.
Last updated: Feb 05 2023 at 22:03 UTC