[bug#64249] [PATCH ocaml-team v6 12/12] gnu: opam: Update to 2.1.5.

[Julien Lepiller]

If you agree, I could push the first 11 patches to master. Then, we only have 
to deal with package updates, which I could take over from you.

I was looking at what would be needed for updating frama-c to a compatible 
version yesterday, and it's only ~5 new packages, so it's not that bad, but 
they also require an update to at least ppxlib, which could trigger more 
failures and require more fixes.

I'll work on that for a few days and see if I find a good solution to update 
everything that's needed.

Le 22 septembre 2023 21:48:28 GMT+02:00, Julien Lepiller <julien@lepiller.eu> a 
écrit :
>For some reason this last patch makes why3 fail to build, but the
>latest version builds fine. It's only used by frama-c, which fails to
>build with this newer why3. Now, updating frama-c would be nice, but it
>requires a bit more work, as it switched to dune and has a few more
>dependencies.
>
>Otherwise, the whole series LGTM, including the coq fixup.
>
>
>