Le vendredi 18 mars 2022 à 08:43 +0100, Ralf Treinen a écrit : > On Thu, Mar 17, 2022 at 05:20:58PM +0100, > [email protected] wrote: > > > I didn't upload it because the reverse deps situation wasn't > > perfect: > > Can you upload to experimental, please ? -Ralf. >
I found I needed the new menhir for the new elpi, so I came back to the matter. Two packages were still broken by the in-experimental menhir: alt-ergo and ocaml-atd. For ocaml-atd, I could just update the package. For alt-ergo, things are more difficult: there is a patch for the newer upstream, but with new deps that we don't have (psmt2-frontend, which in turn has deps of its own), so it will take a little time. Cheers, J.Puydt
