Version 8.4pl6 of Coq fixes several bugs of version 8.4pl5. More information to be found in the CHANGES file.
There is now a Stack Exchange Q&A site dedicated to Proof Assistants! Do not hesitate to post and answer Coq questions there (use the coq tag).
Check out Discourse and Twitter for recent news.
For recent releases, check out the GitHub repositories of Coq and the Coq Platform.
