Guillaume Melquiond (Jun 29 2022 at 17:49): Guillaume Melquiond (Jun 29 2022 at 17:49):Karl Palmskog said:
I think CompCert 3.11 is not out yet either?
It is.
Karl Palmskog (Jun 29 2022 at 17:51):It's not out here: https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-compcert
Michael Soegtrop (Jun 29 2022 at 17:52):But the tag is there (since 2 days).
Michael Soegtrop (Jun 29 2022 at 17:52):I also just saw it now.
Karl Palmskog (Jun 29 2022 at 17:53):OK, but that's a pretty limited definition of "out", since in my view compiling/building a CompCert tarball manually is not easy
Michael Soegtrop (Jun 29 2022 at 17:53):I guess I should do the opam package then ...
Michael Soegtrop (Jun 29 2022 at 17:55):Afair there was a discussion on the last release that I take over the maintenance responsibility - need to search it.
Karl Palmskog (Jun 29 2022 at 17:56):right, currently J.-H. Jourdan is listed as maintainer, and he hasn't made PRs to the archive for a while.
Michael Soegtrop (Jun 29 2022 at 17:58):The discussion was here (https://github.com/coq/opam-coq-archive/pull/2047). So I will put in myself now.
Last updated: Jun 03 2023 at 05:01 UTC