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):

Installation notes from
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

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: May 24 2024 at 22:02 UTC