Hello Stéphane, On Wed, Apr 01, 2020 at 05:22:44PM +0200, Stéphane Glondu wrote: > Severity: important
> `menhir --suggest-menhirLib` returns `/usr/lib/menhirLib` which does > not exist. It think it should return `/usr/lib/ocaml/menhirLib`. why severity=important ? I wasn't even aware of this option. -Ralf.