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
subprocess 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.)
--
1143293: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1143293
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
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
--------------------------------------------------------------------------------
--- End Message ---
--- Begin Message ---
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=medium
.
* 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.buildinfo
Checksums-Sha256:
c9c41500cf54f92f072c1aae456ac49ab1f4463d21c92febdecaf64f4ba2dfa0 2565
coq-doc_9.2.0-1.dsc
a45280ab4fbaac7540b136a6b073b4a6db15739ec1e149bded43fa6f4fc25f20 6559931
coq-doc_9.2.0.orig.tar.gz
8a8bbfcce372bafe0223a2d2c08fc94cc291e0257ed4c2770dbe7bf7898bd27a 8620
coq-doc_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-doc_9.2.0-1_all.deb
36f2964900769e4f775840890588e6ca88157c869f1363975252d0e9b6284abf 13660
coq-doc_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==
=XY02
-----END PGP SIGNATURE-----
pgpzZyWHGWj6H.pgp
Description: PGP signature
--- End Message ---
