Bug#955494: marked as done (`menhir --suggest-menhirLib` suggests wrong directory)
Your message dated Sun, 05 Apr 2020 15:20:22 +0000
with message-id <E1jL74Q-0005LP-2d@fasolo.debian.org>
and subject line Bug#955494: fixed in menhir 20200123-3
has caused the Debian Bug report #955494,
regarding `menhir --suggest-menhirLib` suggests wrong directory
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner@bugs.debian.org
immediately.)
--
955494: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=955494
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
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
--- End Message ---
--- Begin Message ---
Source: menhir
Source-Version: 20200123-3
Done: Ralf Treinen <treinen@debian.org>
We believe that the bug you reported is fixed in the latest version of
menhir, which is due to be installed in the Debian FTP archive.
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to 955494@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Ralf Treinen <treinen@debian.org> (supplier of updated menhir package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmaster@ftp-master.debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Thu, 02 Apr 2020 12:22:45 +0200
Source: menhir
Architecture: source
Version: 20200123-3
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Closes: 955494
Changes:
menhir (20200123-3) unstable; urgency=medium
.
* patch menhirLib: fix the value returned by --suggest-menhirLib
(closes: #955494)
Checksums-Sha1:
3f96cf47f75244eea566ac698c929ccc9e714836 2209 menhir_20200123-3.dsc
8eaa8789c17cf057bd636c3cf25186989f57c3c6 13188 menhir_20200123-3.debian.tar.xz
8e8014f1801a213957dee3f7a8dbcfe1c44dad5f 5621 menhir_20200123-3_source.buildinfo
Checksums-Sha256:
a74f34cceb3ead06b7ea4e76c1953caed17cf9f49871bf40c4bc4484248fab58 2209 menhir_20200123-3.dsc
1c87e9582ff81d00d9a4ba27672585d5c179dc9ce9ec9153e459b2d6f0f9a44c 13188 menhir_20200123-3.debian.tar.xz
9dfe63031e16ea444528de75ef8049cf6bcd45e37db5a46111b08044c9fb552e 5621 menhir_20200123-3_source.buildinfo
Files:
433be682fcb9db724ba19c4f674183ba 2209 ocaml optional menhir_20200123-3.dsc
3d08a5054a7538d321e7866dad979270 13188 ocaml optional menhir_20200123-3.debian.tar.xz
4dea80def035f871e6e663091af82659 5621 ocaml optional menhir_20200123-3_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAl6J9HkACgkQdFxHZtTK
zf8Q8w//bIfm910nxPdvVj7JAaynaV681S+yvfwbP0brZ+g2VFCRs3ieEMdSqxXY
FGHxxIras8dmh2CN62AHL+QesIQGW+jsMGxaE5R74D2d6g2RQXPrWixmSK/U+Mdq
vCNWJdyJa5/IETtzdIc13BAhdD3qZO13bbP5YSpJOVzEia9UZOMcOUticCocycQx
Wnusqg9ekV8VVijqmeA4uPSZSDWggQftgcBx1oTaYd5XVqkT4Xz3Yd4XCIwaTMRN
18uDVH7R7SdIeTY0jgqued7d4QzqNv3Dizo+OvEsxip91pW3blBgHX0uoLjeoNRj
sFw8bCm5P+05VHZXNd+Z8ozP+k7WXE6NNffuB8D73In4OV19Yc0/mjrN0MVmC2XO
FpsPeffrzd/qYzHrnclWI1S4XoWKHFVqrpRJD7pzDochStv1IAFKj1ocsZhSFa5G
BReC+br5PbEFu0L6pKuFnlMVO6HqPkreKb47IeU20Hh7qeOLZMtxLZJi8f8R5H0h
Ql9726De+4wgfpINPexSby6qax34UVhzyBsSjxGK1XjWmahCFiwd8OZI5w89/2jJ
L4o7gYVOvbXy1Fc5JIUAwa5AReNhviN+uS0ShK7BQIiIE1sntvutLr4GDi9dMxQ7
z66MzzQEiflUv+JWksLL6prYYH6kyuwcSX4eD7ZelzUdd07HvOI=
=C4+6
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: