# Coq 8.10.0

**URL:** <https://discourse.rocq-prover.org/t/coq-8-10-0/460>\
**Category:** Announcements\
**Created:** [October 3, 2019, 9:33am UTC](https://discourse.rocq-prover.org/t/coq-8-10-0/460 "2019-10-03T09:33:10Z")\
**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:** [October 3, 2019, 9:33am UTC](https://discourse.rocq-prover.org/t/coq-8-10-0/460/1 "2019-10-03T09:33:10Z")

</div>

The next version of Coq will be released next week.

Many thanks to all who tested the β versions and reported issues.

Previous announcement: [Coq 8.10+β3](https://discourse.rocq-prover.org/t/coq-8-10-3/433)

---

<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:** [October 8, 2019, 11:48am UTC](https://discourse.rocq-prover.org/t/coq-8-10-0/460/2 "2019-10-08T11:48:18Z")

</div>

The version 8.10.0 of Coq has just been released; see full announcement on Coq web site: [https://coq.inria.fr/news/coq-8-10-0-is-out.html](https://coq.inria.fr/news/coq-8-10-0-is-out.html)

Pre-compiled binaries can be downloaded from the “release” page: [https://github.com/coq/coq/releases/tag/V8.10.0](https://github.com/coq/coq/releases/tag/V8.10.0)