Bug#1073289: OCaml 5.2.0
Hi,
Le jeudi 20 juin 2024 à 08:59 +0200, Stéphane Glondu a écrit :
>
> Out of these 60 packages:
> - 7 have exhausted allocated resources (orange)
> - 1 seems obsolete (pink)
> - 8 depend on a missing packages (white)
> - 44 are in direct front line; I've submitted bug reports for them
>
> > Of course, any extra help is welcome.
What are green ones?
I just pushed to salsa an ocaml-merlin which should work with the newer
OCaml (untested yet).
I had a look at hol-light: upstream moved to github but doesn't tag
releases there and didn't release an OCaml5-compatible version yet
anyway ( https://github.com/jrh13/hol-light/issues/101 ). I'll dig
deeper.
Cheers,
J.Puydt
Reply to: