# Coq 8.16+rc1 has been tagged

**URL:** <https://discourse.rocq-prover.org/t/coq-8-16-rc1-has-been-tagged/1667>\
**Category:** Developing the Rocq Prover\
**Created:** [June 1, 2022, 8:43pm UTC](https://discourse.rocq-prover.org/t/coq-8-16-rc1-has-been-tagged/1667 "2022-06-01T20:43:45Z")\
**Posts on this page:** 1\
**Page:** 1

<div class="post-metadata">

**Author:** ![Pierre-Marie\_Pedrot](https://avatars.discourse-cdn.com/v4/letter/p/df788c/32.png) [@Pierre-Marie\_Pedrot](https://discourse.rocq-prover.org/u/Pierre-Marie_Pedrot)\
**Post date:** [June 1, 2022, 8:43pm UTC](https://discourse.rocq-prover.org/t/coq-8-16-rc1-has-been-tagged/1667/1 "2022-06-01T20:43:45Z")

</div>

Dear package managers,

the V8.16+rc1 tag is now public. Please start preparing the  
corresponding packages for the upcoming 8.16.0 release!

Thanks,  
PMP