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

[Stéphane Glondu <glondu@debian.org>]

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 testing
  APT policy: (990, 'testing'), (500, 'unstable'), (1, 'experimental')
Architecture: amd64 (x86_64)

Kernel: Linux 5.4.0-4-amd64 (SMP w/4 CPU cores)
Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8), LANGUAGE=fr_FR.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /usr/bin/dash
Init: systemd (via /run/systemd/system)
LSM: AppArmor: enabled

Versions of packages menhir depends on:
ii  libc6  2.29-10

menhir recommends no packages.

Versions of packages menhir suggests:
pn  menhir-doc  <none>

-- no debconf information