Release of Coq 8.13.1

Announcements
1

Dear Coq users,

The Coq development team is proud to announce the immediate
availability of Coq 8.13.1:

Highlights:
- Fix arities of VM opcodes for some floating-point operations that
could cause memory corruption.

Best,