# Coq 8.20.1 is out

**URL:** <https://discourse.rocq-prover.org/t/coq-8-20-1-is-out/2513>\
**Category:** Announcements\
**Created:** [January 20, 2025, 3:06pm UTC](https://discourse.rocq-prover.org/t/coq-8-20-1-is-out/2513 "2025-01-20T15:06:54Z")\
**Posts on this page:** 1\
**Page:** 1

<div class="post-metadata">

**Author:** ![proux01](https://sea1.discourse-cdn.com/flex001/user_avatar/discourse.rocq-prover.org/proux01/32/584_2.png) [@proux01](https://discourse.rocq-prover.org/u/proux01)\
**Post date:** [January 20, 2025, 3:06pm UTC](https://discourse.rocq-prover.org/t/coq-8-20-1-is-out/2513/1 "2025-01-20T15:06:54Z")

</div>

This minor release fixes a few bugs in Coq 8.20.0 and should otherwise  
remain highly compatible with it, see the  
[changelog]([Recent changes — Coq 8.20.1 documentation](https://coq.inria.fr/doc/V8.20.1/refman/changes.html#changes-in-8-20-1))  
for detail of bugfixes.

Coq 8.20.1 is available, along with a number of libraries,  
as OPAM and Nix packages or in a Docker image.

Pierre and Guilaume, on behalf of the Coq development team