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