Coq 8.7.1 is out
Submitted by Théo Zimmermann on 15 Dec 2017
Version 8.7.1 of Coq is available. It brings compatibility with OCaml 4.06.0, many bug fixes, documentation improvements, and user message improvements (for details see the 8.7.1 milestone).