@Maxime Dénès : since the next Coq Platform will come soon I wanted to bring back the topic of macOS notarization - I can sign the packages but not notarize them. Can INRIA do this?
I think some colleagues of mine know how to do it. It will take me 2-3 weeks to collect all the information, however, I'm afraid.
@Maxime Dénès : 2..3 weeks might work out for the release.
Especially for the final release, you plan a beta before that, or no?
Yes, I plan a beta but wouldn't do this for the beta.
Main issue is adjusting the installers to the new library loader - I am working on it (and a few other issues).
Last updated: Feb 02 2023 at 13:03 UTC