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
https://github.com/ocaml/opam-repository/pull/22564
@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
I'd recommend < 8.16
instead of < 8.16.1
. Very likely this is related to Coq 8.16 in general
Last updated: Oct 13 2024 at 01:02 UTC