Release of Coq 8.2 (beta)

The beta release of Coq 8.2 is now out. For more informations, look at this page.