# \[VsCoq 2\] Release 2.2.3

**URL:** <https://discourse.rocq-prover.org/t/vscoq-2-release-2-2-3/2512>\
**Category:** Announcements\
**Created:** [January 16, 2025, 6:15am UTC](https://discourse.rocq-prover.org/t/vscoq-2-release-2-2-3/2512 "2025-01-16T06:15:04Z")\
**Posts on this page:** 1\
**Page:** 1

<div class="post-metadata">

**Author:** ![rtetley](https://sea1.discourse-cdn.com/flex001/user_avatar/discourse.rocq-prover.org/rtetley/32/863_2.png) [@rtetley](https://discourse.rocq-prover.org/u/rtetley)\
**Post date:** [January 16, 2025, 6:15am UTC](https://discourse.rocq-prover.org/t/vscoq-2-release-2-2-3/2512/1 "2025-01-16T06:15:04Z")

</div>

Hi everyone,

We are rolling out the next release for VsCoq 2.

You can find detailed change logs here: [Release v2.2.2 · coq/vscoq · GitHub](https://github.com/coq/vscoq/releases/tag/v2.2.2)  
and here: [Release v2.2.3 · coq/vscoq · GitHub](https://github.com/coq/vscoq/releases/tag/v2.2.3)

Thanks to [Lysxia (Xia Li-yao) · GitHub](https://github.com/Lysxia), [cpitclaudel (Clément Pit-Claudel) · GitHub](https://github.com/cpitclaudel), [cas-haaijman (Cas Haaijman) · GitHub](https://github.com/cas-haaijman) as well as the Coq maintainers for their contributions !

Stay tuned for more releases !

Romain, on behalf of the VsCoq team