[bug#64249] OCaml-related updates

[Julien Lepiller]

Le Sat, 23 Dec 2023 18:53:03 +0100,
Arnaud Daby-Seesaram <ds-ac@nanein.fr> a écrit :

> Hi,
> 
> Just a gentle ping to get your opinions on ocaml4.07.  Should Guix
> keep support for it?  (With current Guix, (at least some) ocaml4.07
> packages are already broken.)

We plan to remove ocaml4.07* packages (except ocaml itself since it
represents the first step for a future bootstrap). Since most of them
are already failing, we shouldn't care too much about that. At laest,
we're not breaking them *more* ;)

> 
> If not, is it possible to move forward with pukkamustard's patch
> series (optionally after updating why3 and frama-c to limit broken
> packages)? This would also enable other ocaml-related contributions,
> such as 67495, 66119, 64209, ...  which might need adjustments after
> the update of dune.

Please send your patches to prevent frama-c breakage. I have already
done some work to fix other packages, but it' on another computer. I'll
be able to send a (final?) version early January.

In the meantime, I will send a series to remove ocaml4.07 packages,
since they're no longer of any use, obsolete and mostly broken anyway.
It should be independent of this series.

Note that the right way to discover impacted packages is with `guix
refresh -l ocaml@4`.

> 
> 
> Best regards,
>