Coq Call 2023 03 08 - coq/coq GitHub Wiki

• March 8th 2023, 4pm Paris Time
• https://rdv2.rendez-vous.renater.fr/coq-call

Topics

• Coq Opam Proposal (Emilio)
  • https://github.com/coq/opam-coq-archive/issues/2442
  • does coq platform include extra-dev?

Notes

• From coq.8.18rc1 on we put the coq rc packages in the main opam repo with

   "coq-beta" { opam-version < "2.1.0" } 
   flags      avoid-version
  

• TODO: @gares update release notes
• TODO: @gares put the coq-beta (empty) package in a repository www.inria.fr/opam/beta
• TODO: @gares document it in the readme of www.inria.fr/opam/ (how to install rc coq)