Stream: Coq Platform devs & users

Topic: CompCert 3.11


view this post on Zulip Guillaume Melquiond (Jun 29 2022 at 17:49):

Karl Palmskog said:

I think CompCert 3.11 is not out yet either?

It is.

view this post on Zulip 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

view this post on Zulip Michael Soegtrop (Jun 29 2022 at 17:52):

But the tag is there (since 2 days).

view this post on Zulip Michael Soegtrop (Jun 29 2022 at 17:52):

I also just saw it now.

view this post on Zulip 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

view this post on Zulip Michael Soegtrop (Jun 29 2022 at 17:53):

I guess I should do the opam package then ...

view this post on Zulip 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.

view this post on Zulip 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.

view this post on Zulip 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: Jan 30 2023 at 11:03 UTC