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