# \[VsCoq 2\] Release 2.1.0

**URL:** <https://discourse.rocq-prover.org/t/vscoq-2-release-2-1-0/2200>\
**Category:** Announcements\
**Created:** [February 13, 2024, 10:39am UTC](https://discourse.rocq-prover.org/t/vscoq-2-release-2-1-0/2200 "2024-02-13T10:39:23Z")\
**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 13, 2024, 10:39am UTC](https://discourse.rocq-prover.org/t/vscoq-2-release-2-1-0/2200/1 "2024-02-13T10:39:23Z")

</div>

Hi everyone,

We are pleased to announced v2.1.0 of VsCoq. This release mainly introduces coq 8.19 compatibility among other minor fixes.  
Thanks to the Coq Core team for their various adaptations to the new Coq API.  
Thanks to [LittleJianCH](https://github.com/LittleJianCH) and [afdw](https://github.com/afdw) for their contributions.

Romain for the VsCoq team