which repo should I add to opam to be able to get coq 8.17.rc1?
opam
coq 8.17.rc1
core-dev
Laurent Théry has marked this topic as resolved.
Last updated: May 28 2023 at 13:30 UTC