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.