Your message dated Tue, 21 Jul 2026 08:34:05 +0000
with message-id <[email protected]>
and subject line Bug#1044637: fixed in coq 9.2.0+dfsg-2
has caused the Debian Bug report #1044637,
regarding coq: Fails to build source after successful build
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.)
--
1044637: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1044637
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Source: coq
Version: 8.17.0+dfsg-1
Severity: minor
Tags: trixie sid ftbfs
User: [email protected]
Usertags: ftbfs-sab-20230813 ftbfs-source-after-build
User: [email protected]
Usertags: qa-doublebuild
Hi,
This package fails to build a source package after a successful build
(dpkg-buildpackage ; dpkg-buildpackage -S).
This is probably a clear violation of Debian Policy section 4.9 (clean target),
but this is filed as severity:minor for now, because a discussion on
debian-devel showed that we might want to revisit the requirement of a working
'clean' target.
More information about this class of issues, included common problems and
solutions, is available at
https://wiki.debian.org/qa.debian.org/FTBFS/SourceAfterBuild
Relevant part of the build log:
> cd /<<PKGBUILDDIR>> && runuser -u user42 -- dpkg-buildpackage --sanitize-env
> -us -uc -rfakeroot -S
> -------------------------------------------------------------------------------------------------------------------
>
> dpkg-buildpackage: info: source package coq
> dpkg-buildpackage: info: source version 8.17.0+dfsg-1
> dpkg-buildpackage: info: source distribution unstable
> dpkg-buildpackage: info: source changed by Julien Puydt <[email protected]>
> dpkg-source --before-build .
> debian/rules clean
> dh clean --with coq,ocaml,python3
> dh_auto_clean
> make -j8 clean
> make[1]: Entering directory '/<<PKGBUILDDIR>>'
> rm -f .dune-stamp
> dune clean
> make[1]: Leaving directory '/<<PKGBUILDDIR>>'
> dh_ocamlclean
> dh_clean
> dpkg-source -b .
> dpkg-source: info: using source format '3.0 (quilt)'
> dpkg-source: info: building coq using existing ./coq_8.17.0+dfsg.orig.tar.xz
> dpkg-source: info: using patch list from debian/patches/series
> dpkg-source: info: local changes detected, the modified files are:
> coq-8.17.0+dfsg/config/Makefile
> coq-8.17.0+dfsg/config/coq_config.ml
> coq-8.17.0+dfsg/config/coq_config.py
> coq-8.17.0+dfsg/config/dune.c_flags
> coq-8.17.0+dfsg/theories/dune
> coq-8.17.0+dfsg/user-contrib/Ltac2/dune
> dpkg-source: error: aborting due to unexpected upstream changes, see
> /tmp/coq_8.17.0+dfsg-1.diff.KYc233
> dpkg-source: info: Hint: make sure the version in debian/changelog matches
> the unpacked source tree
> dpkg-source: info: you can integrate the local changes with dpkg-source
> --commit
> dpkg-buildpackage: error: dpkg-source -b . subprocess returned exit status 2
>
> E: Command 'cd /<<PKGBUILDDIR>> && runuser -u user42 -- dpkg-buildpackage
> --sanitize-env -us -uc -rfakeroot -S' failed to run.
The full build log is available from:
http://qa-logs.debian.net/2023/08/13/coq_8.17.0+dfsg-1_unstable.log
If you reassign this bug to another package, please mark it as 'affects'-ing
this package. See https://www.debian.org/Bugs/server-control#affects
If you fail to reproduce this, please provide a build log and diff it with mine
so that we can identify if something relevant changed in the meantime.
--- End Message ---
--- Begin Message ---
Source: coq
Source-Version: 9.2.0+dfsg-2
Done: Julien Puydt <[email protected]>
We believe that the bug you reported is fixed in the latest version of
coq, 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 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, 21 Jul 2026 09:58:48 +0200
Source: coq
Binary: coq libcoq-core libcoq-core-ocaml libcoq-core-ocaml-dev rocqide
Architecture: source amd64
Version: 9.2.0+dfsg-2
Distribution: unstable
Urgency: medium
Maintainer: Julien Puydt <[email protected]>
Changed-By: Julien Puydt <[email protected]>
Description:
coq - proof assistant for higher-order logic (toplevel and compiler)
libcoq-core - proof assistant for higher-order logic (theories)
libcoq-core-ocaml - runtime libraries for Coq
libcoq-core-ocaml-dev - development libraries and tools for Coq
rocqide - proof assistant for higher-order logic (gtk interface)
Closes: 1044637
Changes:
coq (9.2.0+dfsg-2) unstable; urgency=medium
.
* Fix the d/rules cleaning target (Closes: #1044637).
Checksums-Sha1:
d0a72488f9c818f96ce5c16f17c8ca6b7f77c215 2499 coq_9.2.0+dfsg-2.dsc
651b3d3858235f80e2aeb62ab57ce0b8081cce16 3946088 coq_9.2.0+dfsg.orig.tar.xz
41aacbb33ebf7a0eaf74b8a6ec9820b2a3c0a383 23752 coq_9.2.0+dfsg-2.debian.tar.xz
7adcd1e5be58da19102ecc21f95940035733153f 16733 coq_9.2.0+dfsg-2_amd64.buildinfo
a3ba30e6aae2d52f331f55a2f155c6d50f100c53 41145596 coq_9.2.0+dfsg-2_amd64.deb
d6df7c9ac649ff8d54c9e8cd75df7c144257d326 55432132
libcoq-core-ocaml-dev_9.2.0+dfsg-2_amd64.deb
c59516c0985f4e7c48fb973dd2d3a3e4ecba00e9 25712392
libcoq-core-ocaml_9.2.0+dfsg-2_amd64.deb
22e33731969933f8c4a40350053124fe17b0240f 1152552
libcoq-core_9.2.0+dfsg-2_amd64.deb
7331d715aafd92a3efccb57865244a177ec5efc0 1949732 rocqide_9.2.0+dfsg-2_amd64.deb
Checksums-Sha256:
1bcc4a2ec551ef9b51110750e71c63b76171ad1e9e43a53759dc0422455b734f 2499
coq_9.2.0+dfsg-2.dsc
6d04561edb60ef68f5cf73c6f6fdb25c31cf6bf0c96f01fd0861f0c99a9c49db 3946088
coq_9.2.0+dfsg.orig.tar.xz
20e71632d612e764543e49e4be10fea8061b5d7de99e031e5f03f8c42de1a278 23752
coq_9.2.0+dfsg-2.debian.tar.xz
b8b8125d94a732d2ecd11762fd36a4b23aa920d1044c55a7ae3b23c6b7658cd5 16733
coq_9.2.0+dfsg-2_amd64.buildinfo
dcf2ec35e6851be6c98bad58dd5fea00ebfcee8dcda6a77857821872de97e646 41145596
coq_9.2.0+dfsg-2_amd64.deb
eb74c45e991566b219a088e701e70a3cae473637c6dc03f5d796a84cc6b47dbf 55432132
libcoq-core-ocaml-dev_9.2.0+dfsg-2_amd64.deb
05d4c7263bd29bdb05c0f133efea39fa9ae051d456bd020ab12744e23d384070 25712392
libcoq-core-ocaml_9.2.0+dfsg-2_amd64.deb
d5c19771d6756eca8fff3cd5652d30cc5d263e4b043836203cafc749b5355b92 1152552
libcoq-core_9.2.0+dfsg-2_amd64.deb
dd4191327fb826b694bfae4cf66dc12d91cac0a08ee79d775d90041643647e4c 1949732
rocqide_9.2.0+dfsg-2_amd64.deb
Files:
e9d89e9e92edcea9f61ebb877296da83 2499 math optional coq_9.2.0+dfsg-2.dsc
a33dfe089575d328913178abf6c5b41a 3946088 math optional
coq_9.2.0+dfsg.orig.tar.xz
5b53657be5a3ca07a0736544931c7197 23752 math optional
coq_9.2.0+dfsg-2.debian.tar.xz
a65ecc97127b1ab73b04237ac44a61c5 16733 math optional
coq_9.2.0+dfsg-2_amd64.buildinfo
482cd76f8b5620b01acf50e0ddd0b887 41145596 math optional
coq_9.2.0+dfsg-2_amd64.deb
00972960c37a35ebb099632b928ebf29 55432132 ocaml optional
libcoq-core-ocaml-dev_9.2.0+dfsg-2_amd64.deb
ef710c5768471ee180b7a4406f94659c 25712392 ocaml optional
libcoq-core-ocaml_9.2.0+dfsg-2_amd64.deb
3026dc1033c593088dccf50a3789230b 1152552 math optional
libcoq-core_9.2.0+dfsg-2_amd64.deb
1956d80eb1024244a9159b8803949b8a 1949732 math optional
rocqide_9.2.0+dfsg-2_amd64.deb
-----BEGIN PGP SIGNATURE-----
iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpfKPgZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUYWQD/0cHt5p1OL4Bay+4QNxqyx5
FKJRUJ/jutTIT/SG3TcCb4WxgMq1cA5dZnXP4QhT6w2xkYKr5SIVD3rbIVX6YKSQ
PRzM0aTCAb4MAYuKVOvodBXfjRZGhEXEM1yDCxkZJP+0qoxHtNhx6eT5L9onhvWz
46DZsDsvtgxqr+4kdzRNQ9hBNHyymHBXGX72gsZLTH8+eKDRA0Z9LnYJFazHz+Ua
Uhlogx5UrpcR7k31YZqJ27JLGifzo1Wf6gShZ65hKc1J82VbKRnb9BmYc4L5p74Q
eCpe8EAXOnOtOZJPXesh7oM31WPx27jWo+2JmK5P+byDBumYr1zMPggdQ6+1xr9A
3Vq1nf4/rZV1Mud1pVEnbWZhK/StifYFr1cuMo/J6KPe9uh/qWM94qEBkj8rWaAZ
cwG5zMqfgVE8BCyWCJ57WVJ5jFSerGgTJV0qG6phZgM60RZkmxMuVSe8op/s1JBT
+P2pwH7LRrxn1N8TDo1Sv2PjjQAFUVA2HCLGqZIp6IHx4wMIeTDXMeP18tD40/2w
8/K40HakAdgXKWlYK387K4xf4cqGq/iDWb6eduKSV07hrqIxmZY60tdZ8GFejF7t
1dn3TbKQaHsXm8z/DpPm5bVzE7VVnJBzR7wzkV6JjGIDK33fj7/JcpR0EvAjduMk
c4mihPu29+bVrQZ+zN7JMw==
=rdm+
-----END PGP SIGNATURE-----
pgpaPxgLVl_X2.pgp
Description: PGP signature
--- End Message ---
