Stream: Coq devs & plugin devs

Topic: 8.16.1 released


view this post on Zulip Pierre-Marie Pédrot (Nov 25 2022 at 12:20):

The V8.16.1 tag has just been pushed to the repo.

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

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

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

view this post on Zulip Karl Palmskog (Nov 25 2022 at 12:40):

OK, but I will do my usual coq/coqide split PRs

view this post on Zulip Karl Palmskog (Nov 25 2022 at 12:48):

https://github.com/ocaml/opam-repository/pull/22564

view this post on Zulip Théo Zimmermann (Nov 25 2022 at 14:39):

@Pierre-Marie Pédrot No GitHub release notes for 8.16.1?

view this post on Zulip Pierre-Marie Pédrot (Nov 25 2022 at 14:42):

always forget that one, I'll add them

view this post on Zulip Ramkumar Ramachandra (Nov 25 2022 at 16:17):

Karl Palmskog said:

https://github.com/ocaml/opam-repository/pull/22564

What should we do about the frama-c failure?

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

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

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

view this post on Zulip Ramkumar Ramachandra (Nov 25 2022 at 16:49):

Done, see https://github.com/ocaml/opam-repository/pull/22569

view this post on Zulip 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: Feb 02 2023 at 13:03 UTC