# Coq 8.11.2

**URL:** <https://discourse.rocq-prover.org/t/coq-8-11-2/891>\
**Category:** Announcements\
**Created:** [June 19, 2020, 2:39pm UTC](https://discourse.rocq-prover.org/t/coq-8-11-2/891 "2020-06-19T14:39:34Z")\
**Posts on this page:** 1\
**Page:** 1

<div class="post-metadata">

**Author:** ![ppedrot](https://sea1.discourse-cdn.com/flex001/user_avatar/discourse.rocq-prover.org/ppedrot/32/55_2.png) [@ppedrot](https://discourse.rocq-prover.org/u/ppedrot)\
**Post date:** [June 19, 2020, 2:39pm UTC](https://discourse.rocq-prover.org/t/coq-8-11-2/891/1 "2020-06-19T14:39:34Z")

</div>

Coq 8.11.2 is now officially released! As usual, you’ll find it on

> **[coq/coq](https://github.com/coq/coq/releases/tag/V8.11.2)**
>
> Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo...

or in your favourite packaging infrastructure.

Coq 8.11.2 brings in a handful of minor bugfixes, see the changelog at

[https://coq.github.io/doc/V8.11.2/refman/changes.html#changes-in-8-11-2](https://coq.github.io/doc/V8.11.2/refman/changes.html#changes-in-8-11-2)