Your message dated Fri, 2 Jan 2026 17:18:33 +0100
with message-id <[email protected]>
and subject line Re: Bug#1123656: transition: ocaml 5.4.0
has caused the Debian Bug report #1123656,
regarding transition: ocaml 5.4.0
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact [email protected]
immediately.)
--
1123656: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1123656
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: release.debian.org
Severity: normal
X-Debbugs-Cc: [email protected]
Control: affects -1 + src:ocaml
User: [email protected]
Usertags: transition
Dear Release Team,
I would like to request a transition slot for ocaml 5.4.0.
I've uploaded it to experimental, and it builds successfully on
all architectures:
https://buildd.debian.org/status/package.php?p=ocaml&suite=experimental
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
Cheers,
--
Stéphane
--- End Message ---
--- Begin Message ---
On 26/12/2025 08:56, Emilio Pozuelo Monfort wrote:
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.
libnbd got uploaded and I had to age it. With that, ocaml just migrated to
testing. So closing this.
Cheers,
Emilio
--- End Message ---
