* Sebastian Ramacher <sramac...@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. Cheers Jochen
signature.asc
Description: PGP signature