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.
@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).
@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.
All of the 4 files?
I'm on it
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).
You should have received a mail with a filesender link to a tarball containing the signed binaries
Yes, thanks! I will do some local test around lunch.
Last updated: Jan 30 2023 at 12:03 UTC