Hi, On Thu, Mar 17, 2022 at 05:20:58PM +0100, julien.puydt@gmail.com wrote: > - why3 is broken (looks for non-existing graph.cmo at some point) -- > unrelated breakage ; there is a patch for that in the upstream git, which unfortunately was not included in the recent 1.4.1 upstream release. My remaining propblem is fighting against dh_ocaml failing on exported ocaml units that are also exported by other packages. -Ralf.