# Coq Platform 2022.09.0 (including beta version for Coq 8.16.0 and a updated and extended package pick)

**URL:** https://discourse.rocq-prover.org/t/coq-platform-2022-09-0-including-beta-version-for-coq-8-16-0-and-a-updated-and-extended-package-pick/1816
**Category:** Announcements
**Created:** [October 11, 2022, 1:51pm UTC](https://discourse.rocq-prover.org/t/coq-platform-2022-09-0-including-beta-version-for-coq-8-16-0-and-a-updated-and-extended-package-pick/1816 "2022-10-11T13:51:50Z")
**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: [October 11, 2022, 1:51pm UTC](https://discourse.rocq-prover.org/t/coq-platform-2022-09-0-including-beta-version-for-coq-8-16-0-and-a-updated-and-extended-package-pick/1816/1 "2022-10-11T13:51:50Z")

</div>

Dear Coq community,

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

Release highlights:

- The latest version of Coq has been updated from 8.15.2 to 8.16.0, with a beta package pick.

- Many new packages have been added. In particular, Itauto, mathcomp-algebra-tactics and mathcomp-word join the "full" level, and MetaCoq, Bedrock2 and Fiat-crypto join the "extended" level. See [Release 2022.09.0 with Coq 8.16.0 and beta package collection · coq/platform · GitHub](https://github.com/coq/platform/releases/tag/2022.09.0) for the complete list of additions.

The main supported version is:

- Coq 8.16.0 with a new (beta) package collection.

Several compatibility versions with Coq 8.12 to 8.15 are available, including one for Coq 8.15 with a package collection that tries to be as similar as possible to the Coq 8.16.0 pick.

Installers for Coq 8.16 and Coq 8.15 with the beta package pick are available for Windows, macOS, and Linux (a Snap installer, that should be updated soon to include Coq 8.16).

You can also install the Coq Platform using opam-based scripts, which give you access to the main supported version, as well as any of the many compatibility versions.

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

> **[Release 2022.09.0 with Coq 8.16.0 and beta package collection · coq/platform](https://github.com/coq/platform/releases/tag/2022.09.0)**
>
> Recommended binary installers
> 
> Beta Windows (64 bit) installer for Coq 8.16
> Beta macOS installer for Coq 8.16
> Beta Linux (Snap) installer for Coq 8.16 - coming soon
> 
> General information
> See README ...

We expect a new Platform release (2022.09.1) to happen in about 2 weeks, with a finalized package pick.