Stream: Coq Platform devs & users

Topic: 2022.04.1


view this post on Zulip Théo Zimmermann (Jun 20 2022 at 12:35):

@Michael Soegtrop I've found a number of places in the Platform release notes where the version for 8.15 is outdated:

Coq 8.14.1 with an updated package collection from Apr 2022 - this package pick is made to be as compatible as possible with the 8.15.1 package collection

Only the 8.14.1 and the 8.15.0 beta version are available as installers for macOS and Windows and only the 8.14.1 version as snap package.

The latter sentence is also wrong on the Snap package (I hope). And since it is copy-pasted from the 2022.04.0, the notes from this release should be fixed as well.

I was looking at this because I wondered what was the point of providing Windows installers for 8.14 for this release again. Wouldn't they be almost identical to the ones from the 2022.04.0 release?

view this post on Zulip Michael Soegtrop (Jun 20 2022 at 13:14):

Thanks, fixed (also in the 2022.04.0 release).

The reason for anyway supplying the installers is more or less that people don't have to search for it. Also sometimes minor things in the installers as such change, and I find it a bit inconsistent to sometimes supply them and sometimes not.

In general we said I build installers for latest version and the previous - latest version with an updated pick.

view this post on Zulip Michael Soegtrop (Jun 20 2022 at 13:18):

Is the thumbs up for the "fixed" or the reasoning on which installers to supply?

view this post on Zulip Théo Zimmermann (Jun 20 2022 at 14:52):

Both, but I could react with more fine-grained :+1: if you gave me the opportunity by answering in several smaller messages :wink:

view this post on Zulip Michael Soegtrop (Jun 20 2022 at 16:31):

Yes, that's something I always think of too late ...

view this post on Zulip Michael Soegtrop (Jun 24 2022 at 10:27):

@Théo Zimmermann, @Gaëtan Gilbert and all : the 2022.04.1 release is ready as draft - in case you want to have a look. I plan to release it today. The only thing I didn't check as yet is snap.

view this post on Zulip Karl Palmskog (Jun 24 2022 at 10:48):

@Michael Soegtrop something you may want to think about is whether you want to include Jason's fix in PR 15271 into "old" Coq versions/picks: https://github.com/coq/coq/pull/15271 (I think there's a 8.14 Platform pick in there?)

view this post on Zulip Karl Palmskog (Jun 24 2022 at 10:49):

apparently this fix is now finding its way into Coq branches like v8.14, but not as patches to opam packages as of yet, so perhaps best to postpone (or maybe not worth including at all)

view this post on Zulip Ali Caglayan (Jun 24 2022 at 11:06):

AFAIK Jason is pushing those to the dev branch and not to any actual release.

view this post on Zulip Ali Caglayan (Jun 24 2022 at 11:06):

I'm not sure if Coq platform is following dev branches of previous major versions.

view this post on Zulip Ali Caglayan (Jun 24 2022 at 11:07):

Also if the fix was important, I believe a minor release would have been done for them, but that doesn't seem to be the case.

view this post on Zulip Karl Palmskog (Jun 24 2022 at 11:16):

no, no minor release will ever be done for 8.14 and below

view this post on Zulip Karl Palmskog (Jun 24 2022 at 11:17):

otherwise, Coq RM for one major version would be a lifetime gig

view this post on Zulip Théo Zimmermann (Jun 24 2022 at 11:45):

FWIW, it's too late to add anything to the release because the tag is already set (from 4 days ago) and the binary installers are already generated and signed.

view this post on Zulip Théo Zimmermann (Jun 24 2022 at 11:45):

So Michael's question was only about the release notes.

view this post on Zulip Michael Soegtrop (Jun 24 2022 at 12:56):

And for testing installers ...
And indeed I think Coq Platform should only use Coq releases - as far as I understand Jason's issues are quite specific to his CI and compatibility. The 8.14 and older picks are mostly there so that people can easily reproduce older artifacts.

view this post on Zulip Michael Soegtrop (Jun 24 2022 at 16:14):

Unless someone objects, I will do the release in 2 hours (after testing snap).

view this post on Zulip Michael Soegtrop (Jun 24 2022 at 19:31):

Published on GitHub and snap.

view this post on Zulip Michael Soegtrop (Jun 24 2022 at 19:31):

@Théo Zimmermann can you please do the usual announcements?

view this post on Zulip Théo Zimmermann (Jun 25 2022 at 17:56):

I can do that on Monday.

view this post on Zulip Karl Palmskog (Jun 27 2022 at 21:36):

we may want a @CoqLang tweet about the release as well?

view this post on Zulip Théo Zimmermann (Jun 28 2022 at 07:39):

Done: https://twitter.com/CoqLang/status/1541687470454087680

Coq Platform release 2022.04.1 is out! :tada: Main highlight: the default Coq version has been updated to 8.15.2. See https://github.com/coq/platform/releases/tag/2022.04.1 to learn more and to download the installers.

- The Coq proof assistant (@CoqLang)

Last updated: Jan 29 2023 at 19:02 UTC