Bug#955494: `menhir --suggest-menhirLib` suggests wrong directory

2020-04-02 Thread Stéphane Glondu
Dear Ralf, Le 02/04/2020 à 09:04, Ralf Treinen a écrit : >> 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. Third-pa

Bug#955494: `menhir --suggest-menhirLib` suggests wrong directory

2020-04-02 Thread Ralf Treinen
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 op

Bug#955494: `menhir --suggest-menhirLib` suggests wrong directory

2020-04-01 Thread Stéphane Glondu
Package: menhir Version: 20200123-2 Severity: important Dear Maintainer, `menhir --suggest-menhirLib` returns `/usr/lib/menhirLib` which does not exist. It think it should return `/usr/lib/ocaml/menhirLib`. Cheers, -- Stéphane -- System Information: Debian Release: bullseye/sid APT prefers