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
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
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
3 matches
Mail list logo