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: 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.
Hello, Bug #1044637 in coq reported by you has been fixed in the Git repository and is awaiting an upload. You can see the commit message below and you can check the diff of the fix at: https://salsa.debian.org/ocaml-team/coq/-/commit/d4b24f84629f2c81b9985d9cb40d9ddd16d76d4c (this message was generated automatically) -- Greetings https://bugs.debian.org/1044637
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 1044637@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Julien Puydt <jpuydt@debian.org> (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 ftpmaster@ftp-master.debian.org)
Format: 1.8
Date: Thu, 21 Dec 2023 14:34:31 +0100
Source: coq
Architecture: source
Version: 8.18.0+dfsg-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Closes: 1044637
Changes:
coq (8.18.0+dfsg-1) unstable; urgency=medium
.
[ Debian Janitor ]
* Update lintian override info to new format:
+ debian/coq.lintian-overrides: line 2, 4-21
+ debian/libcoq-core-ocaml-dev.lintian-overrides: line 2
+ debian/libcoq-core-ocaml.lintian-overrides: line 2-4, 6
* debian/copyright: use spaces rather than tabs to start continuation lines.
* Set upstream metadata fields: Bug-Database, Bug-Submit, Repository-Browse.
* Update standards version to 4.6.2, no changes needed.
* Remove constraints unnecessary since buster (oldstable):
+ Build-Depends: Drop dependency on essential package bash (>= 5.0).
+ Build-Depends: Drop versioned constraint on dh-ocaml (>= 0.9.5~).
+ Build-Depends: Drop versioned constraint on ocaml-nox (>= 4.05).
+ Build-Depends: Drop versioned constraint on camlp5 (>= 6.14).
+ libcoq-stdlib: Drop versioned constraint on coq (>= 8.0) in Recommends.
+ libcoq-core-ocaml: Drop conflict with removed package coq (<< 8.3~) in
Replaces.
+ libcoq-core-ocaml: Drop conflict with removed package libcoq-ocaml-dev (<<
8.3~) in Replaces.
+ libcoq-core-ocaml: Drop conflict with removed package coq (<< 8.3~) in
Breaks.
+ libcoq-core-ocaml: Drop conflict with removed package libcoq-ocaml-dev (<<
8.3~) in Breaks.
+ libcoq-core-ocaml-dev: Drop conflict with removed package coq (<<
8.2-1+dfsg-1) in Replaces.
+ libcoq-core-ocaml-dev: Drop conflict with removed package coq (<<
8.2-1+dfsg-1) in Breaks.
.
[ Julien Puydt ]
* Fix d/rules clean target (Closes: #1044637).
* New upstream release.
* Refresh patches.
* Drop the coq-unimath workaround patch.
Checksums-Sha1:
1fc194ce431a05495ee4d2de353e0c52a6059f0b 2570 coq_8.18.0+dfsg-1.dsc
880abe4c477b0b57ff4b9f8bd1a2ff56c8866ca4 4868368 coq_8.18.0+dfsg.orig.tar.xz
6ee7f5b329a4b9bc76182d48d4b89e668d068c25 33160 coq_8.18.0+dfsg-1.debian.tar.xz
b775ddae73a6f384d318295a01b4e1208e8f398b 16541 coq_8.18.0+dfsg-1_source.buildinfo
Checksums-Sha256:
7b722e9161a79651a1d126a69b60aa4893ad63273230b78ce2c5fbb3addaab7a 2570 coq_8.18.0+dfsg-1.dsc
ae1e6c8905d0766b436c3ecff35e836b8d6c56507106d470c175f834b9de89bd 4868368 coq_8.18.0+dfsg.orig.tar.xz
f3a5e4db041b560ee15014fde8f7a836880e9c4cf201e02722a92d4f3947e86b 33160 coq_8.18.0+dfsg-1.debian.tar.xz
cd5179feabc56f58ddf6e45e0d132e81e1d01dd782afa54670f3efd61c9adafb 16541 coq_8.18.0+dfsg-1_source.buildinfo
Files:
d8d73b23589b852b8586936d75a311d7 2570 math optional coq_8.18.0+dfsg-1.dsc
a217a12abf9ca7b00e72e99200c6cc31 4868368 math optional coq_8.18.0+dfsg.orig.tar.xz
c6af82172058bee3456b7cf144f60275 33160 math optional coq_8.18.0+dfsg-1.debian.tar.xz
2210f04c9c626166a25bde3857b66a4a 16541 math optional coq_8.18.0+dfsg-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWEP1ASHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRmogP/iyA7bxMyXA1lZjqe9vPIoyW+GyeWlvp
bcNRhqxTb4ddt0n6EofzJHREG0RqenkZoUaAQUrBCZ7d0uvOt88tlSGO9oZ7vvzV
lDd+eLz5U0/yUtvkyQIz8KDH3CZEhxom9VFYxkR0cXt6OWJAG7XMC2WyAH5wAG98
t6+H8fAokvmmyw3iLNzXuTbp1rhmntzY/5mtvCLnHL052fhbdgTgfiryQy1otSed
uR1OMGoMyXvjJ1GLmuBQ+epBoQx4XEMlhp8383rIkP8Q6qcbBUDcyzn2x44UioJB
F7xrU3MsDmho+i2hH2s+GhUifI9YgI4cTs2oJNyKyY9apASQ6/FnhmbS6KJk0DM5
pVwqYBu/Ulbc8wV7FYyJu5+swq577XC/xiqvdGaA/ZwabfMSb5LdrMGlXDFmiLZB
yhbNbA6vhQMw/d5zxvis79rseBLZt2uJ8LiEzT9VKwGny8PBGlGDo2bE9rIY4ZFp
2jfrpHmLzyPFYnG00vJJogkWv7W3Q1crWG/7dFQ5/V6xBw9I7Dr/quFHmx6+UD1w
glILdo8KfhZTWdLMGgzBVi3BVepiWnHm/u6PU5ylvy33vJxUStxjyti0O5ZiwcFY
XPcMbp5MZhTyP4Cgi8coLtot9ZfL4lfdBkCAWUmRITHIXcHnGA4XfJFPLV3sADOC
XVMhPV/NpFuv
=utVj
-----END PGP SIGNATURE-----
Hello, Bug #1044637 in coq reported by you has been fixed in the Git repository and is awaiting an upload. You can see the commit message below and you can check the diff of the fix at: https://salsa.debian.org/ocaml-team/coq/-/commit/d29957f2e65c4c64b195298d21a373a3e335d7e1 (this message was generated automatically) -- Greetings https://bugs.debian.org/1044637
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 1044637@bugs.debian.org, and the maintainer will reopen the bug report if appropriate. Debian distribution maintenance software pp. Julien Puydt <jpuydt@debian.org> (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 ftpmaster@ftp-master.debian.org) 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 <jpuydt@debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> 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-----
reopen 1044637 thanks This is what happens now when trying to build source after binary build: Package: coq Version: 9.2.0+dfsg-3 [...] dpkg-source -b . dpkg-source: info: using source format '3.0 (quilt)' dpkg-source: info: building coq using existing ../coq_9.2.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-core.opam coqide-server.opam rocq-core.opam rocq-runtime.opam rocqide.opam dpkg-source: error: aborting due to unexpected upstream changes, see /tmp/coq_9.2.0+dfsg-3.diff.Y1CrIF dpkg-source: hint: make sure the version in debian/changelog matches the unpacked source tree dpkg-source: hint: you can integrate the local changes with dpkg-source --commit dpkg-buildpackage: error: dpkg-source -b . subprocess failed with exit status 2 (If all those files are generated, I guess adding them to debian/clean would work). Thanks.