Pierre-Marie Pédrot (Nov 25 2022 at 12:20): Pierre-Marie Pédrot (Nov 25 2022 at 12:20):The V8.16.1 tag has just been pushed to the repo.
Pierre-Marie Pédrot (Nov 25 2022 at 12:22):The instructions state that I have to ping @Erik Martin-Dorel for Docker purposes, so here we are.
Karl Palmskog (Nov 25 2022 at 12:38):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?
Michael Soegtrop (Nov 25 2022 at 12:38):@Karl Palmskog : I am busy with other things until the evening, so I would appreciate if you do it.
Karl Palmskog (Nov 25 2022 at 12:40):OK, but I will do my usual coq/coqide split PRs
Karl Palmskog (Nov 25 2022 at 12:48):https://github.com/ocaml/opam-repository/pull/22564
Théo Zimmermann (Nov 25 2022 at 14:39):@Pierre-Marie Pédrot No GitHub release notes for 8.16.1?
Pierre-Marie Pédrot (Nov 25 2022 at 14:42):always forget that one, I'll add them
Ramkumar Ramachandra (Nov 25 2022 at 16:17):Karl Palmskog said:
What should we do about the frama-c failure?
Ramkumar Ramachandra (Nov 25 2022 at 16:23):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.
Karl Palmskog (Nov 25 2022 at 16:31):@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.
Ramkumar Ramachandra (Nov 25 2022 at 16:41):@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?
Ramkumar Ramachandra (Nov 25 2022 at 16:49):Done, see https://github.com/ocaml/opam-repository/pull/22569
Karl Palmskog (Nov 25 2022 at 16:49):I'd recommend < 8.16instead of < 8.16.1. Very likely this is related to Coq 8.16 in general
Last updated: Apr 19 2024 at 19:02 UTC