Stream: Coq devs & plugin devs

Topic: Coq installation instructions with opam

view this post on Zulip Arthur Charguéraud (Jun 02 2022 at 12:57):

Hi.
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/

view this post on Zulip Théo Zimmermann (Jun 02 2022 at 12:59):

Right, we shouldn't have merged the PR updating the website before the opam package is ready.

Last updated: Dec 07 2023 at 06:38 UTC