Hello everyone,
I’m happy to announce that the Rocq Platform 9.0 release is now published.
I would like to warmly thank everyone for their help throughout the whole please-pick process, and especially for their patience regarding the release of Rocq Platform 9.0.
I would also like to give special thanks to Michael Soegtrop and the Rocq team for their continuous support, guidance, and trust throughout this work. It truly made a difference.
The release is now available here: Github
Thanks again to all.
Best regards,
Sylvain,