# Rocq 9.2 has just been scheduled

**URL:** <https://discourse.rocq-prover.org/t/rocq-9-2-has-just-been-scheduled/2883>\
**Category:** Developing the Rocq Prover\
**Created:** [December 17, 2025, 4:05pm UTC](https://discourse.rocq-prover.org/t/rocq-9-2-has-just-been-scheduled/2883 "2025-12-17T16:05:27Z")\
**Posts on this page:** 1\
**Page:** 1

<div class="post-metadata">

**Author:** ![nicolas\_tabareau](https://avatars.discourse-cdn.com/v4/letter/n/e36b37/32.png) [@nicolas\_tabareau](https://discourse.rocq-prover.org/u/nicolas_tabareau)\
**Post date:** [December 17, 2025, 4:05pm UTC](https://discourse.rocq-prover.org/t/rocq-9-2-has-just-been-scheduled/2883/1 "2025-12-17T16:05:27Z")

</div>

Dear all,

The branching date for the 9.2 release has been set to 2026-01-09.

More details on the schedule are available here:

[

| 

 ![rocq.png](https://us1.discourse-cdn.com/flex001/uploads/coq/original/2X/2/28df7cdd7d5e24f16c489b6cbaedae1cc41f1b05.png)

 |

| 

[Release Schedule for Rocq 9.2](https://github.com/rocq-prover/rocq/wiki/Release-Schedule-for-Rocq-9.2)  
[github.com](https://github.com/rocq-prover/rocq/wiki/Release-Schedule-for-Rocq-9.2)

 |

](https://github.com/rocq-prover/rocq/wiki/Release-Schedule-for-Rocq-9.2)

If you already know that a feature or cleanup PR will not be ready in time,  
please remove the 9.2+rc1 milestone from the corresponding PR.

Best,

Your 9.2 RM