Bug#1142901: marked as done (menhir: FTBFS: dh_missing: error: missing files, aborting)

This is a multi-part message in MIME format...

------------=_1785223981-2142407-0
Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable
Content-Type: text/plain; charset="utf-8"

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.)


--=20
1142901: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=3D1142901
Debian Bug Tracking System
Contact [email protected] with problems

------------=_1785223981-2142407-0
Content-Type: message/rfc822
Content-Disposition: inline
Content-Transfer-Encoding: 7bit

Received: (at submit) by bugs.debian.org; 27 Jul 2026 18:04:50 +0000
X-Spam-Checker-Version: SpamAssassin 4.0.1-bugs.debian.org_2005_01_02
	(2024-03-25) on buxtehude.debian.org
X-Spam-Level: 
X-Spam-Status: No, score=-122.8 required=4.0 tests=ALL_TRUSTED,BAYES_00,
	BODY_INCLUDES_PACKAGE,DKIMWL_WL_HIGH,DKIM_SIGNED,DKIM_VALID,
	DKIM_VALID_AU,DKIM_VALID_EF,FROMDEVELOPER,HAS_PACKAGE,
	USER_IN_DKIM_WELCOMELIST,X_DEBBUGS_CC autolearn=ham autolearn_force=no
	version=4.0.1-bugs.debian.org_2005_01_02
X-Spam-Bayes: score:0.0000 Tokens: new, 13; hammy, 150; neutral, 134; spammy,
	0. spammytokens: hammytokens:0.000-+--HTo:N*Debian, 0.000-+--forky,
	0.000-+--H*F:U*sanvila, 0.000-+--H*rp:U*sanvila, 0.000-+--buildsystem
Return-path: <[email protected]>
Received: from muffat.debian.org ([2607:f8f0:614:1::1274:33]:42504)
	by buxtehude.debian.org with esmtps (TLS1.3:ECDHE_SECP256R1__RSA_PSS_RSAE_SHA256__AES_256_GCM:256)
	(Exim 4.96)
	(envelope-from <[email protected]>)
	id 1woPh4-007EBI-0s
	for [email protected];
	Mon, 27 Jul 2026 18:04:50 +0000
Received: via submission
	from C=NA,ST=NA,L=Ankh Morpork,O=Debian SMTP,OU=Debian SMTP CA,CN=paradis.debian.org,[email protected] (verified)
	by muffat.debian.org with esmtps (TLS1.3:ECDHE_SECP256R1__RSA_PSS_RSAE_SHA256__AES_256_GCM:256)
	(Exim 4.96)
	(envelope-from <[email protected]>)
	id 1woPh4-009qyb-1K
	for [email protected];
	Mon, 27 Jul 2026 18:04:50 +0000
DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=debian.org;
	s=smtpauto.paradis; h=Date:Message-Id:Subject:To:From:Reply-To:Cc:
	MIME-Version:Content-Type:Content-Transfer-Encoding:Content-ID:
	Content-Description:In-Reply-To:References;
	bh=dNXT1ihMmFHULwy9er7INg5CbimoUlG5R02ZaLzZSFo=; b=mrOzSh72X0OAYuULlyERnJhaXx
	+gvqH6O3WlmKtkgRvM39DwEXnhGiYmcnRSMGL9D5Tk1cGjfub0VRsKmvuk1jpvF/Q8/0XU04YdhwH
	Ydpf175CBG3bXKJxetOTGiJmGEpF914EpY6FdPglP4wmeLqoT/TYIiu0dn+cQJZZQki1Iejo0+5eW
	m8Gv/TJiELzsbZtiyGgLCct0HfHTJWql4akNdNGPLu2QlQnbNTDgocQ0uQ7qgaCRrWXUL8RHBTcAt
	TzDdwUucqP9IC6QvV+PTi6WCH9lqAxUyTCapkZWCRcNWgSm7kcU14SATs4IgyZ0mgCK3XHm9Vp+qu
	1pSJQXOA==;
Received: from sanvila by paradis.debian.org with local (Exim 4.96)
	(envelope-from <[email protected]>)
	id 1woPh3-008dNc-2p
	for [email protected];
	Mon, 27 Jul 2026 18:04:49 +0000
From: Santiago Vila <[email protected]>
To: Debian BTS <[email protected]>
Subject: menhir: FTBFS: dh_missing: error: missing files, aborting
X-Debbugs-Cc: [email protected]
Message-Id: <[email protected]>
Date: Mon, 27 Jul 2026 18:04:49 +0000
Delivered-To: [email protected]

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
--------------------------------------------------------------------------------

------------=_1785223981-2142407-0
Content-Type: message/rfc822
Content-Disposition: inline
Content-Transfer-Encoding: 7bit

Received: (at 1142901-close) by bugs.debian.org; 28 Jul 2026 07:31:21 +0000
X-Spam-Checker-Version: SpamAssassin 4.0.1-bugs.debian.org_2005_01_02
	(2024-03-25) on buxtehude.debian.org
X-Spam-Level: 
X-Spam-Status: No, score=-114.2 required=4.0 tests=ALL_TRUSTED,BAYES_00,
	DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,FVGT_m_MULTI_ODD,
	HAS_BUG_NUMBER,MD5_SHA1_SUM,PGPSIGNATURE,USER_IN_DKIM_WELCOMELIST
	autolearn=ham autolearn_force=no
	version=4.0.1-bugs.debian.org_2005_01_02
X-Spam-Bayes: score:0.0000 Tokens: new, 90; hammy, 150; neutral, 132; spammy,
	0. spammytokens: hammytokens:0.000-+--HX-Debian:DAK,
	0.000-+--H*rp:D*ftp-master.debian.org, 0.000-+--HX-DAK:process-upload,
	0.000-+--UD:debian.tar.xz, 0.000-+--H*r:sk:fasolo.
Return-path: <[email protected]>
Received: from muffat.debian.org ([2607:f8f0:614:1::1274:33]:33128)
	by buxtehude.debian.org with esmtps (TLS1.3:ECDHE_SECP256R1__RSA_PSS_RSAE_SHA256__AES_256_GCM:256)
	(Exim 4.96)
	(envelope-from <[email protected]>)
	id 1woc8L-008xnz-39
	for [email protected];
	Tue, 28 Jul 2026 07:21:49 +0000
Received: via submission
	from C=NA,ST=NA,L=Ankh Morpork,O=Debian SMTP,OU=Debian SMTP CA,CN=fasolo.debian.org,[email protected] (verified)
	by muffat.debian.org with esmtps (TLS1.3:ECDHE_SECP256R1__RSA_PSS_RSAE_SHA256__AES_256_GCM:256)
	(Exim 4.96)
	(envelope-from <[email protected]>)
	id 1woc8L-00AQLO-1V
	for [email protected];
	Tue, 28 Jul 2026 07:21:49 +0000
DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed;
	d=ftp-master.debian.org; s=smtpauto.fasolo; h=Date:Message-Id:Content-Type:
	Subject:MIME-Version:To:Reply-To:From:Cc:Content-Transfer-Encoding:Content-ID
	:Content-Description:In-Reply-To:References;
	bh=m0YD29hYkoEdWufY2F66M26DHyMdhiFmwzXHJ5PSiAU=; b=BftwAnAYAfuoy46KIOVgofKO/6
	R/1F7DGGtGMWBZU+nSho8ULLZnKNnW36f/SHalgSvXrfBIzB48xf6xSo8Qzco8K769/KKbodkD3dv
	yz3QXtSTZlUTirJnRD3/vLQOvjdEDGh92WKAljPOwj9aIRPkp5Y/yvnbriE9+5FRdi1p0a8V9POFW
	1OEBfDJv5zP0/Dcs+6FEg1c62BO4qNcGtzZ+nVCiAbc3YWEm25GXmn+JFPgXE/zjUdwOUe8D1lazj
	gbeel8YrTYebdyzrsqV2lVr+c0Y1Izm5B+HseKgp721cMQL91sgBpVXC4MkcfFyBpo6rHOR6hOs4p
	n/UHfVcg==;
Received: from dak by fasolo.debian.org with local (Exim 4.98.2)
	(envelope-from <[email protected]>)
	id 1woc8K-0000000DzSq-2m4p;
	Tue, 28 Jul 2026 07:21:48 +0000
From: Debian FTP Masters <[email protected]>
Reply-To: =?utf-8?q?St=C3=A9phane_Glondu?= <[email protected]>
To: [email protected]
X-DAK: dak process-upload
X-Debian: DAK
X-Debian-Package: menhir
Debian: DAK
Debian-Changes: menhir_20260209+ds-3_source.changes
Debian-Source: menhir
Debian-Version: 20260209+ds-3
Debian-Architecture: source
Debian-Suite: unstable
Debian-Archive-Action: accept
MIME-Version: 1.0
Subject: Bug#1142901: fixed in menhir 20260209+ds-3
Content-Type: multipart/signed; micalg="pgp-sha256";
 protocol="application/pgp-signature";
 boundary="===============0921755420310794147=="
Message-Id: <[email protected]>
Date: Tue, 28 Jul 2026 07:21:48 +0000

--===============0921755420310794147==
Content-Type: text/plain; charset="utf-8"
Content-Transfer-Encoding: quoted-printable

Source: menhir
Source-Version: 20260209+ds-3
Done: St=C3=A9phane 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=C3=A9phane 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=C3=A9phane Glondu <[email protected]>
Closes: 1142901
Changes:
 menhir (20260209+ds-3) unstable; urgency=3Dmedium
 .
   * Team upload
   * Fix installation of manpage (Closes: #1142901)
Checksums-Sha1:
 1cd7a3c0562af02733461d51bdd8270010b8a0d8 2575 menhir_20260209+ds-3.dsc
 0dbf02dddd862c238d3737d55fde59eeb6bbf019 14104 menhir_20260209+ds-3.debian.t=
ar.xz
 88831d931e652745dc2643ae5e64f85769c7f670 2055660 menhir_20260209+ds-3.git.ta=
r.xz
 0a7e024a2fab3e77a89bc8f1c965b9c75ce78d7b 17566 menhir_20260209+ds-3_source.b=
uildinfo
Checksums-Sha256:
 0cfc3ced04d9f902048d90a47ed1a41dea4b0dd3900c4a250d470b1f698155a3 2575 menhir=
_20260209+ds-3.dsc
 d511dc862742e41416960e1641c9d4f5a87b4ae3ea80918962077aa5dd6d288d 14104 menhi=
r_20260209+ds-3.debian.tar.xz
 adb062519e9064e5c3c3e01a8e874f30927560b24e46058b9db484cd24fa891d 2055660 men=
hir_20260209+ds-3.git.tar.xz
 03e9d7af92d820a37f59824deeb85294db2e96024473bc7ea88c4a3cee7fca8b 17566 menhi=
r_20260209+ds-3_source.buildinfo
Files:
 d1cff6170d3300d230e9d9629f81cb55 2575 ocaml optional menhir_20260209+ds-3.dsc
 f0ffbf545b1ecf9f6b5e1cf36ff14636 14104 ocaml optional menhir_20260209+ds-3.d=
ebian.tar.xz
 1cc6695be5bceecde02ba77672e8138d 2055660 ocaml None menhir_20260209+ds-3.git=
.tar.xz
 238ccb70af17eae7300ca0edd1425491 17566 ocaml optional menhir_20260209+ds-3_s=
ource.buildinfo
Git-Tag-Info: tag=3Dce17d43ea4b3f74695efb394c23802a6ddfdbf72 fp=3D6de24e97eca=
886cc56e6250e21b8eef1b1893081
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=3D
=3DdHJj
-----END PGP SIGNATURE-----


--===============0921755420310794147==
Content-Type: application/pgp-signature

-----BEGIN PGP SIGNATURE-----

iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCamhYjAAKCRCb9qggYcy5
IRvaAQDePnvUVUjHQn6dOSyReCNzvxfV4tYmdnJJoJvWctp5IQEAmMoLmJmgiy5w
wYhhJi4Ep5V51ZhGwfIf8CZ/taF4fgo=
=BzEo
-----END PGP SIGNATURE-----

--===============0921755420310794147==--
------------=_1785223981-2142407-0--