The Coq mailing list

[Hugo Herbelin <hugo.herbelin AT inria.fr>]

Dear Coq-Club members,

A pretty stable final version of Coq 8.2 (which does not preclude
further bug-fix releases) is now planned for the end of next week. In
the meantime, we made available for testing a release candidate source
package (coq-8.2rc2) and a corresponding Windows package (follow the
link from the news section at "http://coq.inria.fr";). We thanks brave
souls ready to try and install this release candidate on their
favourite architecture to report any problems they may encounter
at 
"coqdev AT inria.fr"
 or at "https://logical.saclay.inria.fr/coq-bugs";.

Hugo Herbelin, for the Coq development team.