Hello,
A new minor release of the Rocq Platform to fix the issue about Rocq cannot find librairies in Rocq Platform ( cf Rocq cannot find libraries in Rocq platform ).
Thanks to JanM.
The release is now available here: Github
I wish you a nice day.
Best regards,
Sylvain,