# Dates for the 8.13 release

**URL:** <https://discourse.rocq-prover.org/t/dates-for-the-8-13-release/1100>\
**Category:** Developing the Rocq Prover\
**Created:** [November 4, 2020, 2:34pm UTC](https://discourse.rocq-prover.org/t/dates-for-the-8-13-release/1100 "2020-11-04T14:34:05Z")\
**Posts on this page:** 1\
**Page:** 1

<div class="post-metadata">

**Author:** ![gares](https://sea1.discourse-cdn.com/flex001/user_avatar/discourse.rocq-prover.org/gares/32/422_2.png) [@gares](https://discourse.rocq-prover.org/u/gares)\
**Post date:** [November 4, 2020, 2:34pm UTC](https://discourse.rocq-prover.org/t/dates-for-the-8-13-release/1100/1 "2020-11-04T14:34:05Z")

</div>

Dear Coq developers,  
&nbsp;&nbsp;&nbsp;with our release manager hat on we communicate the following  
dates:

&nbsp;&nbsp;Freeze: 16 November  
&nbsp;&nbsp;Beta: 7 December  
&nbsp;&nbsp;Final: 7 January

Given the current working constraints, we'd love to keep the number of  
PRs to backport as low as possible: ideally only user facing bugs and  
doc updates.

Best regards,