Re: Updating menhir
Le vendredi 18 mars 2022 à 08:43 +0100, Ralf Treinen a écrit :
> On Thu, Mar 17, 2022 at 05:20:58PM +0100,
> julien.puydt@gmail.com 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
Reply to: