Re: Bug#1034691: nmu: why3_1.5.1-1+b1 frama-c_20220511-manganese-3-10

[Sebastian Ramacher <sramacher@debian.org>]

Hi Stéphane

On 2023-04-22 20:28:34 +0200, Jochen Sprickerhof wrote:
> * Sebastian Ramacher <sramacher@debian.org> [2023-04-22 16:06]:
> > Both why3 and frama-c have been rebuilt after the last ocaml ABI change.
> > From a quick between a build now and from the last why3, the following
> > packages changed (that appear to be relevant):
> > 
> > libcairo2-ocaml-dev (= [-0.6.2+dfsg-1+b1),-] {+0.6.4+dfsg-1),+}
> > ocaml (= [-4.13.1-3),-] {+4.13.1-4),+}
> > ocaml-base (= [-4.13.1-3),-] {+4.13.1-4),+}
> > ocaml-compiler-libs (= [-4.13.1-3),-] {+4.13.1-4),+}
> > ocaml-findlib (= [-1.9.3-1),-] {+1.9.6-1+b1),+}
> > ocaml-interp (= [-4.13.1-3),-] {+4.13.1-4),+}
> > ocaml-nox (= [-4.13.1-3),-] {+4.13.1-4),
> > 
> > So either the change in ocaml caused the ABI to change and we probably
> > need to rebuild the world of ocaml packages, or the ABI of why3 is
> > influenced by libcairo2-ocaml-dev but is missing the proper
> > dependencies.
> 
> I can recreate the old ABI hash by downgrading the src:ocaml packages, i.e.:
> 
> > ocaml (= [-4.13.1-3),-] {+4.13.1-4),+}
> > ocaml-base (= [-4.13.1-3),-] {+4.13.1-4),+}
> > ocaml-compiler-libs (= [-4.13.1-3),-] {+4.13.1-4),+}
> > ocaml-interp (= [-4.13.1-3),-] {+4.13.1-4),+}
> > ocaml-nox (= [-4.13.1-3),-] {+4.13.1-4),
> 
> I leave the decision what to do with it to you.

ocaml 4.13.1-4 causes the ABI to change for at least why3. Do you expect
that the ABI of ther ocaml packages also changes? If so, we should
rebuild the ocaml world before the release to not get any surprises if a
ocaml package gets a stable update.

Cheers
-- 
Sebastian Ramacher