Re: Updating menhir

[Ralf Treinen]

On Thu, Mar 17, 2022 at 05:20:58PM +0100, julien.pu...@gmail.com wrote:

> I didn't upload it because the reverse deps situation wasn't perfect:

Can you upload to experimental, please ? -Ralf.