Stream: Coq devs & plugin devs

Topic: release 8.13.2

view this post on Zulip Enrico Tassi (Apr 01 2021 at 14:46):

The tag is out and the opam package PR submitted .
I forgot to include 2 doc related PR which I moved to the 8.13.3 milestone, apologies to the authors.
In the (draft) release message I explicltly point to the platform page for the binary packages (CC @Michael Soegtrop ), I plan to undraft it and announce the release to the usual channels when these packages will be ready.

Last updated: Jul 13 2024 at 03:01 UTC