Coq 8.2pl1 is out !

A new patch level for Coq 8.2 is now available. You can get it from the download page.