@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?
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.
Is the thumbs up for the "fixed" or the reasoning on which installers to supply?
Both, but I could react with more fine-grained :+1: if you gave me the opportunity by answering in several smaller messages :wink:
Yes, that's something I always think of too late ...
@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.
@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?)
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)
AFAIK Jason is pushing those to the dev branch and not to any actual release.
I'm not sure if Coq platform is following dev branches of previous major versions.
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.
no, no minor release will ever be done for 8.14 and below
otherwise, Coq RM for one major version would be a lifetime gig
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.
So Michael's question was only about the release notes.
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.
Unless someone objects, I will do the release in 2 hours (after testing snap).
Published on GitHub and snap.
@Théo Zimmermann can you please do the usual announcements?
I can do that on Monday.
we may want a
@CoqLang tweet about the release as well?
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: Jun 03 2023 at 05:01 UTC