Coq 8.5pl3 is out
Submitted by Maxime Dénès on 27 Oct 2016
Version 8.5pl3 of Coq is available. It fixes several bugs
of version 8.5pl2, including one critical bug. More information can be found in
the CHANGES file. Feedback and
bug reports are extremely welcome.