Stream: Coq Platform devs & users

Topic: Switched default branch to main


view this post on Zulip Michael Soegtrop (Nov 03 2021 at 07:25):

After some review of the ReadMe files and cleanup of the opam patch repo yesterday, I switched the default branch to the new main branch.

The only issue which keeps me from tagging is that locally the creation of the Mac installer does not work - it does work in CI, though.

view this post on Zulip Michael Soegtrop (Nov 03 2021 at 16:16):

@Théo Zimmermann @Enrico Tassi @Guillaume Melquiond : I fixed the Mac installer issue (was MacPorts specific - we use Homebrew in CI) and will do the 2021.09.0 tag tomorrow (a bit late ...).

@Guillaume Melquiond : FYI this included Coq 8.14.0 but the package pick is beta, so from a Coq Platform point of view, this is 8.14+beta2. Also note that this is mostly an extended 8.13.2 release - the 8.14.0 release is planned end of this month (Coq Platform now supports to install different versions of Coq).

view this post on Zulip Michael Soegtrop (Nov 04 2021 at 14:45):

@Théo Zimmermann, @Enrico Tassi ; can one of you please grab the Windows installers from (https://github.com/coq/platform/actions/runs/1419394873) and have them signed? I will take care of MacOS and Snap.

view this post on Zulip Enrico Tassi (Nov 04 2021 at 14:47):

All of the 4 files?

view this post on Zulip Enrico Tassi (Nov 04 2021 at 14:51):

I'm on it

view this post on Zulip Enrico Tassi (Nov 04 2021 at 14:55):

email sent

view this post on Zulip Michael Soegtrop (Nov 04 2021 at 14:58):

Yes, all of them - I think it makes sense to provide installers for the 8.14 beta (which contains Coq 8.14.0, but package wise it is beta).

view this post on Zulip Enrico Tassi (Nov 05 2021 at 09:34):

You should have received a mail with a filesender link to a tarball containing the signed binaries

view this post on Zulip Michael Soegtrop (Nov 05 2021 at 10:08):

Yes, thanks! I will do some local test around lunch.

view this post on Zulip Michael Soegtrop (Nov 05 2021 at 19:52):

(deleted)


Last updated: Jan 30 2023 at 12:03 UTC