Michael Soegtrop (Nov 03 2021 at 07:25): 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.
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).
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.
Enrico Tassi (Nov 04 2021 at 14:47):All of the 4 files?
Enrico Tassi (Nov 04 2021 at 14:51):I'm on it
Enrico Tassi (Nov 04 2021 at 14:55):email sent
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).
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
Michael Soegtrop (Nov 05 2021 at 10:08):Yes, thanks! I will do some local test around lunch.
Michael Soegtrop (Nov 05 2021 at 19:52):(deleted)
Last updated: Jun 03 2023 at 03:01 UTC