The Coq mailing list

[Pierre-Marie Pédrot <pierre-marie.pedrot AT inria.fr>]

Dear Coq users,

this is a brief announcement to inform you that Coq 8.11.2 is now
officially released! As usual, you'll find it on

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

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

This flim was not a flim about cyclims, thanks for your attention.
PMP

Attachment: signature.asc
Description: OpenPGP digital signature