Stream: Coq Platform devs & users

Topic: MacOS notarisation


view this post on Zulip Michael Soegtrop (Jan 31 2023 at 16:08):

@Maxime Dénès , @Théo Zimmermann : any chance to get an INRIA Mac developer account so that we can notarise the installers?

view this post on Zulip Théo Zimmermann (Jan 31 2023 at 16:58):

I'm not at Inria anymore, so this is definitely beyond my scope.

view this post on Zulip Michael Soegtrop (Feb 01 2023 at 08:18):

@Théo Zimmermann : time flies ... congratulations (I guess a bit late).

view this post on Zulip Théo Zimmermann (Feb 01 2023 at 09:15):

Thanks!


Last updated: Jun 18 2024 at 00:02 UTC