# \[VsCoq\] Release 2.2.4

**URL:** <https://discourse.rocq-prover.org/t/vscoq-release-2-2-4/2539>\
**Category:** Announcements\
**Created:** [February 20, 2025, 2:43pm UTC](https://discourse.rocq-prover.org/t/vscoq-release-2-2-4/2539 "2025-02-20T14:43:43Z")\
**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:** [February 20, 2025, 2:43pm UTC](https://discourse.rocq-prover.org/t/vscoq-release-2-2-4/2539/1 "2025-02-20T14:43:43Z")

</div>

Hey everyone,

We are pleased to announce the next release of VsCoq.  
This release mainly addresses important fixes.  
You can find the change log here: [Release v2.2.4 · coq/vscoq · GitHub](https://github.com/coq/vscoq/releases/tag/v2.2.4)

Thanks to [Durbatuluk1701 (Will Thomas) · GitHub](https://github.com/Durbatuluk1701) for their contributions !

This will probably be the final release before the renaming in VsRocq !  
Stay tuned for some new features soon !

Cheers,

Romain, for the VsCoq / VsRocq team