Karl Palmskog said:
I think CompCert 3.11 is not out yet either?
It's not out here: https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-compcert
But the tag is there (since 2 days).
I also just saw it now.
OK, but that's a pretty limited definition of "out", since in my view compiling/building a CompCert tarball manually is not easy
I guess I should do the opam package then ...
Afair there was a discussion on the last release that I take over the maintenance responsibility - need to search it.
right, currently J.-H. Jourdan is listed as maintainer, and he hasn't made PRs to the archive for a while.
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