# V8.19+rc1 tagged

**URL:** <https://discourse.rocq-prover.org/t/v8-19-rc1-tagged/2143>\
**Category:** Developing the Rocq Prover\
**Created:** [December 18, 2023, 4:29pm UTC](https://discourse.rocq-prover.org/t/v8-19-rc1-tagged/2143 "2023-12-18T16:29:11Z")\
**Posts on this page:** 1\
**Page:** 1

<div class="post-metadata">

**Author:** ![Gaetan\_Gilbert](https://avatars.discourse-cdn.com/v4/letter/g/9f8e36/32.png) [@Gaetan\_Gilbert](https://discourse.rocq-prover.org/u/Gaetan_Gilbert)\
**Post date:** [December 18, 2023, 4:29pm UTC](https://discourse.rocq-prover.org/t/v8-19-rc1-tagged/2143/1 "2023-12-18T16:29:11Z")

</div>

The release candidate has been tagged ([Bump version to 8.19+rc1 · coq/coq@dba73c0 · GitHub](https://github.com/coq/coq/commit/dba73c094bb48e704050e56d3e5893988f8dfdd3)).

The final release should have the same behaviour unless we find some serious bugs.

Package managers please prepare a version of your packages for 8.19.