Re: Bug#1123656: transition: ocaml 5.4.0

[Emilio Pozuelo Monfort <pochu@debian.org>]

Control: tags -1 confirmed

On 24/12/2025 13:46, Stéphane Glondu wrote:
> 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.

Please go ahead.

Cheers,
Emilio