Stream: Coq devs & plugin devs

Topic: ✔ coq 8.17 rc1 and opam

view this post on Zulip Laurent Théry (Feb 28 2023 at 16:00):

which repo should I add to opam to be able to get coq 8.17.rc1?

view this post on Zulip Théo Zimmermann (Feb 28 2023 at 16:05):

core-dev

view this post on Zulip Notification Bot (Feb 28 2023 at 16:08):

Laurent Théry has marked this topic as resolved.

Last updated: Dec 05 2023 at 04:01 UTC