Stream: Coq devs & plugin devs

Topic: 8.14 deadline and improving `inversion_sigma`


view this post on Zulip Jason Gross (May 25 2021 at 11:48):

When's the deadline for 8.14? Is it possible to get https://github.com/coq/coq/pull/14174 in (cc @Hugo Herbelin )?

view this post on Zulip Théo Zimmermann (May 25 2021 at 12:08):

End of the month. See https://github.com/coq/coq/wiki/Release-Plan

view this post on Zulip Hugo Herbelin (May 25 2021 at 19:45):

Will there be a 8.13.3 by the way?

view this post on Zulip Enrico Tassi (May 25 2021 at 19:55):

Is there a fix for Print Assumptions critical issue?

view this post on Zulip Théo Zimmermann (May 26 2021 at 06:15):

It doesn't look like anyone is actively working on it.

view this post on Zulip Enrico Tassi (May 26 2021 at 07:15):

OK, so no 8.13.3 in sight


Last updated: Oct 21 2021 at 21:03 UTC