Rocq Platform release 2026.07.0 with Rocq 9.1

Announcements
1

Hello,

A new release of the Rocq Platform with Rocq 9.1 is now available.
The release is available here: Github

I wish you a nice day.

Best regards,
Sylvain,