Coq 8.2 release candidate

A release candidate for Coq 8.2 is now out ! You can download it from this page.