# \[VsCoq Legacy\] Release

**URL:** <https://discourse.rocq-prover.org/t/vscoq-legacy-release/2050>\
**Category:** Announcements\
**Created:** [September 20, 2023, 3:33pm UTC](https://discourse.rocq-prover.org/t/vscoq-legacy-release/2050 "2023-09-20T15:33: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:** [September 20, 2023, 3:33pm UTC](https://discourse.rocq-prover.org/t/vscoq-legacy-release/2050/1 "2023-09-20T15:33:43Z")

</div>

Hi everyone,

In order to help users who cannot yet migrate to Coq 8.18, we have decided to release VsCoq 1 as a separate extension: VsCoq Legacy.

It is now available on both the [vscode marketplace](https://marketplace.visualstudio.com/items?itemName=coq-community.vscoq1) and [openvsx](https://open-vsx.org/extension/coq-community/vscoq1).

Romain, for the VsCoq team