GNU bug report logs - #64249
[PATCH ocaml-team 1/2] gnu: ocaml: Update to 4.14.1.

Previous Next

Full log

View this message in rfc822 format

From: Julien Lepiller <julien <at> lepiller.eu>
To: 64249 <at> debbugs.gnu.org, pukkamustard <at> posteo.net
Subject: [bug#64249] [PATCH ocaml-team v6 12/12] gnu: opam: Update to 2.1.5.
Date: Tue, 26 Sep 2023 11:34:43 +0200

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 <at> 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.
>
>
>

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.