Stream: Coq devs & plugin devs

Topic: macOS Notarization by INRIA


view this post on Zulip 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?

view this post on Zulip 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.

view this post on Zulip Michael Soegtrop (Sep 14 2022 at 07:28):

@Maxime Dénès : 2..3 weeks might work out for the release.

view this post on Zulip Théo Zimmermann (Sep 14 2022 at 08:22):

Especially for the final release, you plan a beta before that, or no?

view this post on Zulip Michael Soegtrop (Sep 14 2022 at 12:26):

Yes, I plan a beta but wouldn't do this for the beta.

view this post on Zulip 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: Feb 02 2023 at 13:03 UTC