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-stdpp_1.8.0-4_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.

We believe that the bug you reported is fixed in the latest version of
coq-stdpp, 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 1045073@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-stdpp 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 16:32:34 +0100
Source: coq-stdpp
Architecture: source
Version: 1.9.0-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Closes: 1045073
Changes:
 coq-stdpp (1.9.0-1) unstable; urgency=medium
 .
   [ Debian Janitor ]
   * Set upstream metadata fields: Bug-Database, Bug-Submit, Repository-Browse.
 .
   [ Julien Puydt ]
   * Fix d/rules clean target (Closes: #1045073).
   * New upstream release.
Checksums-Sha1:
 3432bcab695c8552cc0457015701d160795523b1 2066 coq-stdpp_1.9.0-1.dsc
 5b465d3b0477bf26387673f1586f94ae0a99c50f 297515 coq-stdpp_1.9.0.orig.tar.gz
 3ecbe2cdf699b543b299ef580f1c38a25de01bf0 2596 coq-stdpp_1.9.0-1.debian.tar.xz
 c7151ac2ae2614ee821077aa794dc2b670a5b4b9 7832 coq-stdpp_1.9.0-1_source.buildinfo
Checksums-Sha256:
 16cff8fb1e65010d4cf08f9cb0536825992e684771c663a7651c4953044915f6 2066 coq-stdpp_1.9.0-1.dsc
 2bcfc8d1c7eb9e85a9d043080e36761b77597c5d78573628a826c38037c706bc 297515 coq-stdpp_1.9.0.orig.tar.gz
 e7a20b96ad5532c5aad52ac33ae9a5e5820f53671e8690de59a30981e76f5acf 2596 coq-stdpp_1.9.0-1.debian.tar.xz
 dd64dccdbd6ed2ab43fb4bc6565645ff5be2b1bea65a59143c57d63370061466 7832 coq-stdpp_1.9.0-1_source.buildinfo
Files:
 e0d6378246a48a44832423d2bab2a9cd 2066 ocaml optional coq-stdpp_1.9.0-1.dsc
 af01b3c7ca246aade275e96256567d65 297515 ocaml optional coq-stdpp_1.9.0.orig.tar.gz
 5a88943fc2f167f8c971b01f8ab26fb0 2596 ocaml optional coq-stdpp_1.9.0-1.debian.tar.xz
 0fd34757104641c006c751e7c271adea 7832 ocaml optional coq-stdpp_1.9.0-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWEWq8SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRjT4P/3hPiohOKVRgpbDqVVhxLkY+iWWbadb4
UHmtGQ9syKIuTZrTKmGjg06OqAM77KVMl0IIUW9UCtCkhyd/TK+L/InCpMrGIqUt
oEXXOfBlIRFtUiFfhyguAcEwS7j2wBMP6CM/wBEFOxzRFt8StyzjG6BgTQ0d1TZm
/UoOknFBipMh1xyhRq4N9bOyw6cDUveUNcOlEd/4ipUcXe2rggRCd0VCRbnVWIo/
eBzILnxLtNpQddUffMHl3UNdbEAR/uH4lP+qEMuZyIM04CM77axWkqnyEc7QY7Ou
6CBMUAEPoi8ppa9ytQAGZ0gYsYm7M+hftw2ra1MtFmt9Z9PEvEQa3XnCkTQ7J24x
GtIuPrxRHPuRKFLbmGfbNjhcbcqWDWp+/s0A7eK2AY1WfxC560s7UQw60lnfDmkg
xIS+u9nQeGHz1AkF8ZPhm9wdyTC6xj9PXvLL3IqrxPPIDvKF8lHXp52nEyyN/+Vq
SX4R5nFeDSUpfd//ovLap4dS9PjV8Z+cI3fkl71vxEOCxQNnw6SWeUQ7/htqcuRI
76T7X10CsNMHF9c+N2KcBP/WxfDSSm0Rr0wkgY8RhnROuUf2GNB6j3eLH8qvx2db
alFMmHLjpPQrqTFa4RnfKlBSWUIfWbwbiMToPO5wBfq9ZgNeXB2iiJy6zrCP1Rlh
C4+n9kNtUIfW
=TbB5
-----END PGP SIGNATURE-----

We believe that the bug you reported is fixed in the latest version of
coq-stdpp, 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 1045073@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-stdpp 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: Mon, 27 Jul 2026 18:33:30 +0200
Source: coq-stdpp
Binary: libcoq-stdpp
Architecture: source amd64
Version: 1.13.0-2
Distribution: unstable
Urgency: medium
Maintainer: Julien Puydt <jpuydt@debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Description:
 libcoq-stdpp - Extended standard library for Coq
Closes: 1045073
Changes:
 coq-stdpp (1.13.0-2) unstable; urgency=medium
 .
   * Fix building source after a successful build (Closes: #1045073).
Checksums-Sha1:
 d14c161ef23da815a84cdc7001ae1083484447e9 2082 coq-stdpp_1.13.0-2.dsc
 f7858a70cf82cb2868495b032d67c2a5610c6947 342787 coq-stdpp_1.13.0.orig.tar.gz
 a388f5862999dbb1e073ab6e42991c2a1cbf85d9 2884 coq-stdpp_1.13.0-2.debian.tar.xz
 30868b80b497767b81bd8e1ec3b9cdd0866e1178 6908 coq-stdpp_1.13.0-2_amd64.buildinfo
 76c67bf7f034097b00312119d65f1abf06238c74 5282260 libcoq-stdpp_1.13.0-2_amd64.deb
Checksums-Sha256:
 00fce5cbe387e445166f1ad3ed6fbe84f2a2c1ab4caff84f6d0a23c7d1d812e7 2082 coq-stdpp_1.13.0-2.dsc
 f5e99bf211d8a0508a4bdc83072fad07d65789016c1c7ae7e29b5392056d3ed6 342787 coq-stdpp_1.13.0.orig.tar.gz
 c37f459b02b82f559971f402cd4417c44b536253baacf5b697acfe3fe090e789 2884 coq-stdpp_1.13.0-2.debian.tar.xz
 ffca90eac72cffcee8eee4a18c3b415e2d5419fa7dd208255eb9c3b333f6f700 6908 coq-stdpp_1.13.0-2_amd64.buildinfo
 96b134957f2a663ed9b8f6b25eba2ff4bad81e4eec11fdbf520e57377b6d58a5 5282260 libcoq-stdpp_1.13.0-2_amd64.deb
Files:
 535e252918ab93f3e449e855d4a84e33 2082 ocaml optional coq-stdpp_1.13.0-2.dsc
 45ee699801c8697aa5a623694a55b1b0 342787 ocaml optional coq-stdpp_1.13.0.orig.tar.gz
 93080b1a7cdde028f9f6909dafc654ad 2884 ocaml optional coq-stdpp_1.13.0-2.debian.tar.xz
 79bbc3c21c484d0275db2fd818631e10 6908 ocaml optional coq-stdpp_1.13.0-2_amd64.buildinfo
 5e6f07ec651de22ce657979cb8b082ef 5282260 ocaml optional libcoq-stdpp_1.13.0-2_amd64.deb
-----BEGIN PGP SIGNATURE-----

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpodv4ZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUR86D/9sLT8oQIMqveFe4bs8I7gm
dsROfnrKV3Y5XvVy+fPrhnwO+1qZgKkzq4rmNKI10PFh1u/VnWSKMuHjRN3j0SWl
0jxkhA1owVG32UQHRNgYNeyud3hXDPyQXT7Hhfbr3gGGS7O7vgN2zZVaO1CaStdo
ieehgQrdWceEramCVYX5BsNJHF/afrRe9xFvmJaC1X7kBKtWWs5mNJHJrfjDl5R8
g4BDrDDDtOAPwQD1Pc4pGCCd+I4v+LZFUMSTT3otaLpv6jzN+0DreTiP5nj2gBYu
cbpnJf6wn7xvzEy/0SJ7WjX4RFdBaHAk18DMQJiNe62m8mUWcmPsnFxqkR1uyAs5
YyDOBJDufZ2g2zM9wiBqfQkTrpUxBOHWBxh3uxlWNM+uHFS0k0ry+JEGoGcxgcns
68uonevyEqwRsLxSzFa2K3LjmWQM3joKPDdGUwCBrgGJ5AKQAWQIuZIfpmcdi+vY
7Z8h8lU9q7SU55v3u3xMa8lm95O6GHCUOuFkSRGPAyFrz9+VqE18e7sAiujIBlTo
E5v61iHHPLP3xVDNYUp4VRmpw7jCtKNHNyWu9Xgd/dp3mK9t5tYxcAvgJ4fWKZz5
FACRzY+VWXQvse0GO4AwmJzlIxzngn9S12LxiWF/csxsxTJKUfEpCKvwtOQLRaYw
8Wd7pxR3BfZpcaq6A2aSTg==
=hbqN
-----END PGP SIGNATURE-----