The second beta release of Coq 8.7 is available for testing.
For more information see the 8.7 final release announcement and the CHANGES file.
Installers for Windows 32 bits (i686), Windows 64 bits (x86_64) and OS X are available. They come bundled with CoqIDE.
Complete sources of the files installed by the Windows installers are made available, to comply with license requirements.