Michael Soegtrop (Sep 13 2022 at 16:43): Michael Soegtrop (Sep 13 2022 at 16:43):@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?
Maxime Dénès (Sep 13 2022 at 22:26):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.
Michael Soegtrop (Sep 14 2022 at 07:28):@Maxime Dénès : 2..3 weeks might work out for the release.
Théo Zimmermann (Sep 14 2022 at 08:22):Especially for the final release, you plan a beta before that, or no?
Michael Soegtrop (Sep 14 2022 at 12:26):Yes, I plan a beta but wouldn't do this for the beta.
Michael Soegtrop (Sep 14 2022 at 12:27):Main issue is adjusting the installers to the new library loader - I am working on it (and a few other issues).
Last updated: Oct 13 2024 at 01:02 UTC