[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#1123656: marked as done (transition: ocaml 5.4.0)

Your message dated Fri, 2 Jan 2026 17:18:33 +0100
with message-id <1d1521ee-30ce-4a77-b392-af4d9b68ecdb@debian.org>
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 owner@bugs.debian.org
immediately.)


-- 
1123656: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1123656
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Package: release.debian.org
Severity: normal
X-Debbugs-Cc: debian-ocaml-maint@lists.debian.org
Control: affects -1 + src:ocaml
User: release.debian.org@packages.debian.org
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 ---
Reply to: