# Coq Platform release 2022.04.0

**URL:** https://discourse.rocq-prover.org/t/coq-platform-release-2022-04-0/1642
**Category:** Announcements
**Created:** [April 21, 2022, 1:28pm UTC](https://discourse.rocq-prover.org/t/coq-platform-release-2022-04-0/1642 "2022-04-21T13:28:05Z")
**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: [April 21, 2022, 1:28pm UTC](https://discourse.rocq-prover.org/t/coq-platform-release-2022-04-0/1642/1 "2022-04-21T13:28:05Z")

</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.0.

Release highlights:

- Coq 8.15 is now stable and the default version proposed in the Coq Platform.

- Flocq has been upgraded to major version 4.0.0. Flocq 3 is still  
available under the namespace Flocq3 because CompCert and VST depend  
on it. It is expected that the Flocq3 package will be removed when  
CompCert and VST become compatible with Flocq 4.

- QuickChick has been re-enabled in compile-from-source mode on Windows

- Several packages have been added: coq-ott and ott,  
coq-relation-algebra, coq-mathcomp-algebra-tactics, coq-extructures.

The main supported version is:

- Coq 8.15.1 with an extended and upgraded package collection.

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.0 · coq/platform](https://github.com/coq/platform/releases/tag/2022.04.0)**
>
> 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....