# \[VsCoq\] Release 2.2.6

**URL:** <https://discourse.rocq-prover.org/t/vscoq-release-2-2-6/2714>\
**Category:** Announcements\
**Created:** [May 20, 2025, 5:29pm UTC](https://discourse.rocq-prover.org/t/vscoq-release-2-2-6/2714 "2025-05-20T17:29:12Z")\
**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:** [May 20, 2025, 5:29pm UTC](https://discourse.rocq-prover.org/t/vscoq-release-2-2-6/2714/1 "2025-05-20T17:29:12Z")

</div>

Hi everyone,

We are pleased to announce the next release of VsCoq. This should be the final release before renaming: it contains a critical fix that is important enough to justify the release.

You can find the change log here: [Release v2.2.6 · rocq-prover/vscoq · GitHub](https://github.com/rocq-prover/vscoq/releases/tag/v2.2.6)

Thanks to [KacperFKorban (Kacper Korban) · GitHub](https://github.com/KacperFKorban) and [thomas-lamiaux (Thomas Lamiaux) · GitHub](https://github.com/thomas-lamiaux) for their contributions !

Stay tuned for some new features soon !

Cheers,  
Romain, for the VsCoq / VsRocq team