# Coq 8.10+β3

**URL:** <https://discourse.rocq-prover.org/t/coq-8-10-3/433>\
**Category:** Announcements\
**Created:** [September 16, 2019, 12:33pm UTC](https://discourse.rocq-prover.org/t/coq-8-10-3/433 "2019-09-16T12:33:04Z")\
**Posts on this page:** 2\
**Page:** 1

<div class="post-metadata">

**Author:** ![Vincent](https://avatars.discourse-cdn.com/v4/letter/v/e9bcb4/32.png) [@Vincent](https://discourse.rocq-prover.org/u/Vincent)\
**Post date:** [September 16, 2019, 12:33pm UTC](https://discourse.rocq-prover.org/t/coq-8-10-3/433/1 "2019-09-16T12:33:04Z")

</div>

The final release of version 8.10.0 of Coq is in sight.

Many fixes and improvements have been integrated since the beginning of the second β. In particular, the soundness issue with template polymorphism has been fixed. More details are given in the user manual: [https://coq.github.io/doc/v8.10/refman/changes.html#changes-in-8-10-beta3](https://coq.github.io/doc/v8.10/refman/changes.html#changes-in-8-10-beta3)

Let’s have a final phase of β! Pre-built binaries can be found on the corresponding web page: [https://github.com/coq/coq/releases/tag/V8.10%2Bbeta3](https://github.com/coq/coq/releases/tag/V8.10%2Bbeta3)

Bug reports are welcome as always. Thanks.

---

<div class="post-metadata">

**Author:** ![palmskog](https://sea1.discourse-cdn.com/flex001/user_avatar/discourse.rocq-prover.org/palmskog/32/38_2.png) [@palmskog](https://discourse.rocq-prover.org/u/palmskog)\
**Post date:** [September 19, 2019, 11:14am UTC](https://discourse.rocq-prover.org/t/coq-8-10-3/433/2 "2019-09-19T11:14:03Z")

</div>

Since not everyone may be aware of this, the arguably easiest way for most people to install beta versions of Coq is via OPAM:

```auto
opam repo add coq-core-dev https://coq.inria.fr/opam/core-dev
opam pin add coq 8.10+beta3

```