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
