Bug#1143293: marked as done (coq-doc: FTBFS: dpkg-buildpackage: error: debian/rules binary subprocess failed with exit status 2)

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

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

Your message dated Mon, 03 Aug 2026 14:30:49 +0000
with message-id <[email protected]>
and subject line Bug#1143293: fixed in coq-doc 9.2.0-1
has caused the Debian Bug report #1143293,
regarding coq-doc: FTBFS: dpkg-buildpackage: error: debian/rules binary sub=
process failed with exit status 2
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
1143293: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=3D1143293
Debian Bug Tracking System
Contact [email protected] with problems

------------=_1785767582-2788086-0
Content-Type: message/rfc822
Content-Disposition: inline
Content-Transfer-Encoding: 7bit

Received: (at submit) by bugs.debian.org; 1 Aug 2026 22:35:11 +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,SPF_HELO_PASS,
	SPF_PASS,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, 17; hammy, 150; neutral, 72; spammy,
	0. spammytokens: hammytokens:0.000-+--pkgbuilddir,
	0.000-+--PKGBUILDDIR, 0.000-+--HTo:N*Debian, 0.000-+--forky,
	0.000-+--H*F:U*sanvila
Return-path: <[email protected]>
Received: from mailly.debian.org ([2001:41b8:202:deb:6564:a62:52c3:4b72]:48858)
	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 1wqIIR-006lCs-0L
	for [email protected];
	Sat, 01 Aug 2026 22:35:11 +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 mailly.debian.org with esmtps (TLS1.3:ECDHE_SECP256R1__RSA_PSS_RSAE_SHA256__AES_256_GCM:256)
	(Exim 4.96)
	(envelope-from <[email protected]>)
	id 1wqIIP-00FMq2-2h
	for [email protected];
	Sat, 01 Aug 2026 22:35:09 +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=Lk71/2uCUNJ/cqO/e4gvx/ph+t9qRGC4ZsikMYx1l9I=; b=RjICSGSKsFTiaY3FlT/g8d76Wh
	M34+nzhsWAe6GBLtIBrziVH6n5UT7OLlVXfOJmvRopd5dk2EjvkLS0ZhAvMRvtHAT3lEA5aplkzgq
	9cl8pKr2mHP8A2A9Nzq5f9i5D17EzJodD2zNXNfaPEWMisvvMnP1YFJDYgKA1MFyr/2AwZ2onz+zp
	Rg7LuP6IMSeWLTFF696OndktwpWKojXn9OyollO2/LnUEe1A1JL51cbBgpbsApMEok9QvivqA7Mda
	mNZmZdrd7ma3nGyKvg7pUkUMV/WMkaM49qyH2YfrWR4Pezl2hpqs6A3ZXHqe9fBdpArvyZB6Rij7/
	/pU05/2A==;
Received: from sanvila by paradis.debian.org with local (Exim 4.96)
	(envelope-from <[email protected]>)
	id 1wqIIO-00DZF5-1y
	for [email protected];
	Sat, 01 Aug 2026 22:35:08 +0000
From: Santiago Vila <[email protected]>
To: Debian BTS <[email protected]>
Subject: coq-doc: FTBFS: dpkg-buildpackage: error: debian/rules binary subprocess failed with exit status 2
X-Debbugs-Cc: [email protected]
Message-Id: <[email protected]>
Date: Sat, 01 Aug 2026 22:35:08 +0000
Delivered-To: [email protected]

Package: src:coq-doc
Version: 8.20.0-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/202608/

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:coq-doc, so that this is still
visible in the BTS web page for this package.

Thanks.

--------------------------------------------------------------------------------
[...]
 debian/rules clean
dh clean --with sphinxdoc
   dh_auto_clean
	make -j2 clean
make[1]: Entering directory '/<<PKGBUILDDIR>>'
rm -f .dune-stamp
dune clean
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
   dh_clean
 debian/rules binary
dh binary --with sphinxdoc
   dh_update_autotools_config
   dh_autoreconf
   debian/rules override_dh_auto_build
make[1]: Entering directory '/<<PKGBUILDDIR>>'
/usr/bin/make dunestrap
make[2]: Entering directory '/<<PKGBUILDDIR>>'
dune build  --root . theories_dune ltac2_dune
File "dune-project", line 8, characters 0-15:
8 | (using coq 0.6)
    ^^^^^^^^^^^^^^^
Error: Extension coq was deleted in the 3.24 version of the dune language
Hint: The Coq Build Language has been replaced by the Rocq Build Language.
Use (using rocq <version>) instead.
make[2]: *** [Makefile:130: .dune-stamp] Error 1
make[2]: Leaving directory '/<<PKGBUILDDIR>>'
make[1]: *** [debian/rules:12: override_dh_auto_build] Error 2
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
make: *** [debian/rules:7: binary] Error 2
dpkg-buildpackage: error: debian/rules binary subprocess failed with exit status 2
--------------------------------------------------------------------------------

------------=_1785767582-2788086-0
Content-Type: message/rfc822
Content-Disposition: inline
Content-Transfer-Encoding: 7bit

Received: (at 1143293-close) by bugs.debian.org; 3 Aug 2026 14:30: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=-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, 110; hammy, 150; neutral, 125; 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]:45376)
	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 1wqtgo-00Bh7K-2C
	for [email protected];
	Mon, 03 Aug 2026 14:30:50 +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 1wqtgo-00H4vT-1v
	for [email protected];
	Mon, 03 Aug 2026 14:30:50 +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=agWdsv+gwl3Dqoy/hbEMYmOD4e9ZEWBkL/DsNcp04fs=; b=r2aoXXs9DMrxGJyPXh3PfU/lyf
	HDdyTvUAnr7ZSyz6klEDbIvCMM09XE0bQ873vNUpeUF4nGjgY4RwNyNuOgR/tUfLGUNW0E+IffdA2
	PUKfWqCPXIfeFUt9iuT1ZicGOFtVlRQPT/OAdptLnKw238/w3gRd7E05oIPQrw4doYUTefVqSXqm8
	9AE4IR9q4H21w7LADb9RtFlqL4jFymyehWAU437ZEen1bs75rZ3S3vYvgP84WxaBq6qvarblmIfDz
	L8+o70ZjourhYbdWRK5bxiBnKExVAvn87eGzBNwsmbKmX6TRpWgDhSz1tsWnhx7EWoawSdyZYDkD2
	dGIIL7fw==;
Received: from dak by fasolo.debian.org with local (Exim 4.98.2)
	(envelope-from <[email protected]>)
	id 1wqtgn-00000006fna-3L25;
	Mon, 03 Aug 2026 14:30:49 +0000
From: Debian FTP Masters <[email protected]>
Reply-To: Julien Puydt <[email protected]>
To: [email protected]
X-DAK: dak process-upload
X-Debian: DAK
X-Debian-Package: coq-doc
Debian: DAK
Debian-Changes: coq-doc_9.2.0-1_amd64.changes
Debian-Source: coq-doc
Debian-Version: 9.2.0-1
Debian-Architecture: source all
Debian-Suite: unstable
Debian-Archive-Action: accept
MIME-Version: 1.0
Subject: Bug#1143293: fixed in coq-doc 9.2.0-1
Content-Type: multipart/signed; micalg="pgp-sha256";
 protocol="application/pgp-signature";
 boundary="===============3665036645001108753=="
Message-Id: <[email protected]>
Date: Mon, 03 Aug 2026 14:30:49 +0000

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

Source: coq-doc
Source-Version: 9.2.0-1
Done: Julien Puydt <[email protected]>

We believe that the bug you reported is fixed in the latest version of
coq-doc, 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.
Julien Puydt <[email protected]> (supplier of updated coq-doc 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: Mon, 03 Aug 2026 15:40:34 +0200
Source: coq-doc
Binary: coq-doc coq-doc-html coq-doc-pdf
Architecture: source all
Version: 9.2.0-1
Distribution: unstable
Urgency: medium
Maintainer: Julien Puydt <[email protected]>
Changed-By: Julien Puydt <[email protected]>
Description:
 coq-doc    - documentation for Coq
 coq-doc-html - documentation for Coq in html format
 coq-doc-pdf - documentation for Coq in pdf format
Closes: 1143293
Changes:
 coq-doc (9.2.0-1) unstable; urgency=3Dmedium
 .
   * Rewrite d/watch.
   * New upstream release (Closes: #1143293).
   * Bump standards-version to 4.7.4.
   * Try to avoid privacy breaches.
Checksums-Sha1:
 1011d8a898c8884c4736735f95065d104f0c8bf8 2565 coq-doc_9.2.0-1.dsc
 4af9591d282f600ca5afe27bf5d4acb19f823fd5 6559931 coq-doc_9.2.0.orig.tar.gz
 906b747d80323e71d4c5f2ab979a90c304dad835 8620 coq-doc_9.2.0-1.debian.tar.xz
 ce2ecf91cde5c606a2801c1b35a3a93573b124eb 1910192 coq-doc-html_9.2.0-1_all.deb
 93e969cc05d12282c6e32bfe7758b17c8cdfc34a 5681408 coq-doc-pdf_9.2.0-1_all.deb
 036e6b08fe2f5de47fc5b27e36fb0760d9a53b9c 4920 coq-doc_9.2.0-1_all.deb
 12598799aecd9d7e5b6543979644ca809447fc16 13660 coq-doc_9.2.0-1_amd64.buildin=
fo
Checksums-Sha256:
 c9c41500cf54f92f072c1aae456ac49ab1f4463d21c92febdecaf64f4ba2dfa0 2565 coq-do=
c_9.2.0-1.dsc
 a45280ab4fbaac7540b136a6b073b4a6db15739ec1e149bded43fa6f4fc25f20 6559931 coq=
-doc_9.2.0.orig.tar.gz
 8a8bbfcce372bafe0223a2d2c08fc94cc291e0257ed4c2770dbe7bf7898bd27a 8620 coq-do=
c_9.2.0-1.debian.tar.xz
 52e5ee7f2039dd25962727ee1e36ed80677c0256bd48c233873d220b012d3a48 1910192 coq=
-doc-html_9.2.0-1_all.deb
 9c67da38c365952bc533fc7fde46941b42162deefc7e2f7dde86c913a5cfc9a2 5681408 coq=
-doc-pdf_9.2.0-1_all.deb
 8a6cda1fcaf3bf6283a5b4996dcf6472f5b4580bf7941d1c6ff7f5d7ccf33a18 4920 coq-do=
c_9.2.0-1_all.deb
 36f2964900769e4f775840890588e6ca88157c869f1363975252d0e9b6284abf 13660 coq-d=
oc_9.2.0-1_amd64.buildinfo
Files:
 a360f15f3cf0ceb9fa5ec9855acccbb1 2565 non-free/doc optional coq-doc_9.2.0-1.=
dsc
 de041a7ef5baad224c7594d03716acf3 6559931 non-free/doc optional coq-doc_9.2.0=
.orig.tar.gz
 7764f039e8953c1778e71cc7ed40c30d 8620 non-free/doc optional coq-doc_9.2.0-1.=
debian.tar.xz
 4449ff4e8b4ee61fe05b5ba3b1c55323 1910192 non-free/doc optional coq-doc-html_=
9.2.0-1_all.deb
 6fdc818a4096935cacd7f84e7a8ee27e 5681408 non-free/doc optional coq-doc-pdf_9=
.2.0-1_all.deb
 96affec0a6512b139eedc05390790ba5 4920 non-free/doc optional coq-doc_9.2.0-1_=
all.deb
 dace5f74705e85bcf05254f05d161a43 13660 non-free/doc optional coq-doc_9.2.0-1=
_amd64.buildinfo

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpwnOkZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUd9VD/4u0K5eFZVMA9ouCDiJsFUD
hwW63GBGRYnXO/VCxdc3izfLR5BgDzlCCAX/TxFLUl6rjKGhUhxgzE32wqTY2Mlw
0+J0bIfblBrD1WKZy12wIRBWA9FH9BUJaR1OxcBPKphkeh+Ak38/8hinl3oTM7p5
abDvNWSP9M2BwNUsb8xQLo22QXlO97qkhwDHf8wc336Kfrh4aYiNOW2x1v4QKHWZ
YLHYhMEPNoektU6CcVQtyOp6RVnKrMY6pPIPPBHPnuc269Bmev63J8I3nE3sUkin
uqnT984TJ1b24DiVTweHfP0VNUe5vReONkvx4ONDhi4RhvBULeMqcybCDBIy42v4
HKRza0D3Di8rWZ2r2E9ndKlLmmq3WK1v8dZFAWngE8Jzd+bBB6MnbmqI4TCLFyni
VICb5l9ouxlLa/x+QOm6HmxKaYCMEFPQy4uyGXREmXWufhTuS19QV//d6jhNbzJW
bYRC0W4OTSaIytalTa/bMecXJfqg3VI0xhAjy+7BNIFfE50jNmGgTUmLlQ+RXcK1
PdlzxcGc5bGoXjQz316CDBvSCSvLFW4kbDRn7lnviJ3OJVuisVMQ6IMm4LXjnn2P
R1yqB6Gw1xO+BfcsIr6O9nTjJ5xiCm7zgcdS8GXdtVyrxoEpKlIwXjysDyXoDPkE
a0/DoHVISs7qgm6l8A+kZg=3D=3D
=3DXY02
-----END PGP SIGNATURE-----


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

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

iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCanCmGQAKCRCb9qggYcy5
IcQ4AP9gbTr8ilWukan3sWyb81h++NhccOvlY830ytPV9G2/mwD/T7uVP9R7bFsU
T8F2Ye8n9pwIby9q4MVFDgNZq6b9CwI=
=I0L/
-----END PGP SIGNATURE-----

--===============3665036645001108753==--
------------=_1785767582-2788086-0--