Re: Bug#1123656: transition: ocaml 5.4.0

[Stéphane Glondu <glondu@debian.org>]

Hi,

Le 19/12/2025 à 15:30, Stéphane Glondu a écrit :
> I would like to request a transition slot for ocaml 5.4.0.
> [...]
> I recompiled the OCaml world with it:
>
>    http://ocaml.debian.net/transitions/ocaml-5.4.0/
>
> At most 428 source packages are involved. A binNMU will suffice for
> most of them.
>
> Only 11 relevant packages are missing from this rebuild:
> - llvm-toolchain-{14,17,18,19,21}: they take too much disk space to 
> build... their OCaml bindings could be disabled if the new version of 
> OCaml breaks them
> - frama-c, pplacer, sks: they are not in testing
> - advi, why3: they already FTBFS in unstable (open bug, scheduled removal)
> - hol-light: this is a real breakage... it can be removed from testing 
> if needed

hol-light is fixed in a new uptream version. I've updated it on Salsa.

I've also run autopkgtests:

  https://ci.debian.net/user/glondu/jobs?trigger=ocaml-5.4.0-20251217

The only failing tests already fail in unstable, so no new regressions 
are introduced by this new version of OCaml.


Cheers,

--
Stéphane