Your message dated Tue, 28 Jul 2026 07:21:48 +0000
with message-id <[email protected]>
and subject line Bug#1142901: fixed in menhir 20260209+ds-3
has caused the Debian Bug report #1142901,
regarding menhir: FTBFS: dh_missing: error: missing files, aborting
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 [email protected]
immediately.)
--
1142901: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1142901
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: src:menhir
Version: 20260209+ds-2
Severity: serious
Tags: ftbfs forky sid
Dear maintainer:
During a rebuild of all packages in unstable, this package failed to build.
Below you will find the last part of the build log (probably the most
relevant part, but not necessarily). If required, the full build log
is available here:
https://people.debian.org/~sanvila/build-logs/202607/
About the archive rebuild: The build was made on virtual machines from AWS,
using sbuild and a reduced chroot with only build-essential packages.
If you cannot reproduce the bug please contact me privately, as I
am willing to provide ssh access to a virtual machine where the bug is
fully reproducible.
If this is really a bug in one of the build-depends, please use
reassign and add an affects on src:menhir, so that this is still
visible in the BTS web page for this package.
Thanks.
--------------------------------------------------------------------------------
[...]
dh_perl -O--buildsystem=ocaml_dune
dh_link -O--buildsystem=ocaml_dune
dh_missing -O--buildsystem=ocaml_dune
dh_missing: warning: usr/share/ocaml-dune/man/man1/menhir.1 exists in
debian/tmp but is not installed to anywhere (related file: "doc/menhir.1")
dh_missing: error: missing files, aborting
While detecting missing files, dh_missing noted some files with a
similar name to those
that were missing. This error /might/ be resolved by replacing
references to the
missing files with the similarly named ones that dh_missing found -
assuming the content
is identical.
As an example, you might want to replace:
* doc/menhir.1
with:
* usr/share/ocaml-dune/man/man1/menhir.1
in a file in debian/ or as argument to one of the dh_* tools called
from debian/rules.
(Note it is possible the paths are not used verbatim but instead
directories
containing or globs matching them are used instead)
Alternatively, add the missing file to debian/not-installed if it
cannot and should not
be used.
The following debhelper tools have reported what they installed (with
files per package)
* dh_install: libmenhir-ocaml-dev (0), menhir (1), menhir-doc (0)
* dh_installdocs: libmenhir-ocaml-dev (0), menhir (0), menhir-doc (0)
* dh_installman: libmenhir-ocaml-dev (0), menhir (1), menhir-doc (0)
* dh_ocamllibinstall: libmenhir-ocaml-dev (248)
If the missing files are installed by another tool, please file a bug
against it.
When filing the report, if the tool is not part of debhelper itself,
please reference the
"Logging helpers and dh_missing" section from the "PROGRAMMING" guide
for debhelper (10.6.3+).
(in the debhelper package: /usr/share/doc/debhelper/PROGRAMMING.md.gz)
Be sure to test with dpkg-buildpackage -A/-B as the results may vary
when only a subset is built
If the omission is intentional or no other helper can take care of this
consider adding the
paths to debian/not-installed.
make: *** [debian/rules:7: binary] Error 255
dpkg-buildpackage: error: debian/rules binary subprocess failed with exit
status 2
--------------------------------------------------------------------------------
--- End Message ---
--- Begin Message ---
Source: menhir
Source-Version: 20260209+ds-3
Done: Stéphane Glondu <[email protected]>
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 [email protected],
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Stéphane Glondu <[email protected]> (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 [email protected])
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Tue, 28 Jul 2026 08:50:28 +0200
Source: menhir
Architecture: source
Version: 20260209+ds-3
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <[email protected]>
Changed-By: Stéphane Glondu <[email protected]>
Closes: 1142901
Changes:
menhir (20260209+ds-3) unstable; urgency=medium
.
* Team upload
* Fix installation of manpage (Closes: #1142901)
Checksums-Sha1:
1cd7a3c0562af02733461d51bdd8270010b8a0d8 2575 menhir_20260209+ds-3.dsc
0dbf02dddd862c238d3737d55fde59eeb6bbf019 14104
menhir_20260209+ds-3.debian.tar.xz
88831d931e652745dc2643ae5e64f85769c7f670 2055660
menhir_20260209+ds-3.git.tar.xz
0a7e024a2fab3e77a89bc8f1c965b9c75ce78d7b 17566
menhir_20260209+ds-3_source.buildinfo
Checksums-Sha256:
0cfc3ced04d9f902048d90a47ed1a41dea4b0dd3900c4a250d470b1f698155a3 2575
menhir_20260209+ds-3.dsc
d511dc862742e41416960e1641c9d4f5a87b4ae3ea80918962077aa5dd6d288d 14104
menhir_20260209+ds-3.debian.tar.xz
adb062519e9064e5c3c3e01a8e874f30927560b24e46058b9db484cd24fa891d 2055660
menhir_20260209+ds-3.git.tar.xz
03e9d7af92d820a37f59824deeb85294db2e96024473bc7ea88c4a3cee7fca8b 17566
menhir_20260209+ds-3_source.buildinfo
Files:
d1cff6170d3300d230e9d9629f81cb55 2575 ocaml optional menhir_20260209+ds-3.dsc
f0ffbf545b1ecf9f6b5e1cf36ff14636 14104 ocaml optional
menhir_20260209+ds-3.debian.tar.xz
1cc6695be5bceecde02ba77672e8138d 2055660 ocaml None
menhir_20260209+ds-3.git.tar.xz
238ccb70af17eae7300ca0edd1425491 17566 ocaml optional
menhir_20260209+ds-3_source.buildinfo
Git-Tag-Info: tag=ce17d43ea4b3f74695efb394c23802a6ddfdbf72
fp=6de24e97eca886cc56e6250e21b8eef1b1893081
Git-Tag-Tagger: Stephane Glondu <[email protected]>
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCgAdFiEEN02M5NuW6cvUwJcqYG0ITkaDwHkFAmpoUf8ACgkQYG0ITkaD
wHmgKg//VJloQia4h+U9ewlliGQbfldZoq4KmKT0qZ4ho8CIR9JQXF19gApVyh3b
qnw6useuh6RVOcVtiDVPX9O9zxS7TZPKThJZASSw3lQDwBGCtB+OU2ONKixui7YH
gQkrG1qdYCAgTqdYIKcvm1owmALKoxgVYqm4zwle1nhc0J9TLTmfDkyq3YtxOEYn
wYXrp79edasUaUikxqUKNFpYG4DSmtA9EQqhNeFu9uN2J3cnqvpJvZ79Tm3cjM3t
+yNET6IjxOb2kePWJICqy8ORzhmcI82IrC57jnM2XRGybwvoQrTaFu+vyQWH7JzR
nSw2D/RFP969/uov9dt0FSfd+lhOtWqrZVlsoM1EByhXl67ROrL4EX0jFbNFitOA
CoKYjoXlc+bSo3zmJ3eV8Br9Vpejh2BiRBq6v3tWhAH2PVhs9ylQC6MkXCIoT4zy
BzOSgXK7j1P/YT22v+BJxrDadNHilli0GzjddyD4TEaXyHBw0fLwDs8I95jOD+zf
rY/T/adm8U7yelm597nK1hjpqQouAIEae4zboJO3KMMBZQGGecKNZjW/s1K5EYVz
oe8ptfrjdN9TknQT0hvd+6ETzdN8F8K5AzMEjEJINtTB6KJY+iLlePoG+bGtJ9tR
8VYktlY8vsCe/MsdZf8fsuOzwAsZkjh1YRM+53aOhvGEcg0HUK8=
=dHJj
-----END PGP SIGNATURE-----
pgpAB_RfnXqUN.pgp
Description: PGP signature
--- End Message ---
