The Coq mailing list

[Guillaume Melquiond <guillaume.melquiond AT inria.fr>]

The Coq development team is pleased to announce the release of Coq 
8.9.1, available at

    https://coq.inria.fr/download

Source, as well as installers for Windows and MacOS, are available at

    https://github.com/coq/coq/releases/tag/V8.9.1

OPAM packages are available too.

Main changes with respect to 8.9.0 are as follows:
- some quality-of-life bug fixes,
- many improvements to the documentation,
- a critical bug fix related to primitive projections and `native_compute`,
- several additional Coq libraries shipped with the Windows installer.