# Coq Platform release 2022.04.1

**URL:** https://discourse.rocq-prover.org/t/coq-platform-release-2022-04-1/1706
**Category:** Announcements
**Created:** [June 27, 2022, 8:29am UTC](https://discourse.rocq-prover.org/t/coq-platform-release-2022-04-1/1706 "2022-06-27T08:29:09Z")
**Posts on this page:** 1
**Page:** 1

<div class="post-metadata">

### Author: ![Zimmi48](https://sea1.discourse-cdn.com/flex001/user_avatar/discourse.rocq-prover.org/zimmi48/32/7_2.png) [@Zimmi48](https://discourse.rocq-prover.org/u/Zimmi48)
#### Post date: [June 27, 2022, 8:29am UTC](https://discourse.rocq-prover.org/t/coq-platform-release-2022-04-1/1706/1 "2022-06-27T08:29:09Z")

</div>

Dear Coq community,

On behalf of the Coq development team, the release manager of Coq  
8.15, and the Coq Platform team, we are happy to announce the  
immediate availability of the Coq Platform version 2022.04.1.

Release highlights:

- The latest release version of Coq has been updated from 8.15.1 to 8.15.2.

The main supported version is:

- Coq 8.15.2 with the same package collection as the 2022.04.0 release.

Several compatibility collections with Coq 8.12 to 8.14 are available.

You may install the Coq Platform using opam-based scripts, or Windows,  
macOS and Snap binary installers (Coq 8.14 and 8.15 are available in  
the Windows and macOS installers, and only 8.15 in the Snap  
installer).

To learn about the Coq Platform and get access to the installers,  
please refer to:

> **[Release 2022.04.1 · coq/platform](https://github.com/coq/platform/releases/tag/2022.04.1)**
>
> General information
> See README for general information and installation of Coq Platform.
> See Charter for the concept and goals of Coq Platform.
> See CEP52 for the Coq and Coq Platform release cycle....