The V8.16.1 tag has just been pushed to the repo.
The instructions state that I have to ping @Erik Martin-Dorel for Docker purposes, so here we are.
I don't think Erik can do much without the opam package. Do you want to submit it @Michael Soegtrop or should I do it?
@Karl Palmskog : I am busy with other things until the evening, so I would appreciate if you do it.
OK, but I will do my usual coq/coqide split PRs
@Pierre-Marie Pédrot No GitHub release notes for 8.16.1?
always forget that one, I'll add them
Karl Palmskog said:
What should we do about the frama-c failure?
I'd like to see benchmarks for bonak in opam-coq-archive in 8.16.1, after @Pierre-Marie Pédrot's big SProp patch.
@Ramkumar Ramachandra feel free to submit an update to the corresponding frama-c opam package. I try to stay away from packages in the general opam repo besides Coq and CoqIDE.
@Karl Palmskog Shall I just say
< 8.16.1 in the opam file, and let the frama-c devs figure out what the problem is?
Done, see https://github.com/ocaml/opam-repository/pull/22569
< 8.16instead of
< 8.16.1. Very likely this is related to Coq 8.16 in general
Last updated: Feb 02 2023 at 13:03 UTC