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-elpi_1.17.1-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.

We believe that the bug you reported is fixed in the latest version of
coq-elpi, 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 1044251@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-elpi 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 15:23:48 +0100
Source: coq-elpi
Architecture: source
Version: 1.19.3-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Closes: 1044251
Changes:
 coq-elpi (1.19.3-1) unstable; urgency=medium
 .
   * Fix d/rules clean target (Closes: #1044251).
   * New upstream release.
   * Drop all patches.
Checksums-Sha1:
 6c3d6349bbf4b18f8e21b4e21cc82c8ac22ed3ca 2030 coq-elpi_1.19.3-1.dsc
 2ebf0d931c8083349901f90234aeaac5e22d616e 571678 coq-elpi_1.19.3.orig.tar.gz
 b667c6758533704f789838a47f40df7ed69d43ee 3108 coq-elpi_1.19.3-1.debian.tar.xz
 5ba00d1e355033584212c31c7f163f599353b307 8324 coq-elpi_1.19.3-1_source.buildinfo
Checksums-Sha256:
 d2b6dd2f43c215e1db9e80e6602a494ee0b8f2ffdc8bd910dfb1bbcbe105731b 2030 coq-elpi_1.19.3-1.dsc
 befad7c58a5b2b60ac805646172016bb9dc9764c92c7dcc2056c3d15a3d8b1b4 571678 coq-elpi_1.19.3.orig.tar.gz
 9773680b529e9ba705f1dc8c9141e5d97b02edf8dc8d0ce44265aaea57375989 3108 coq-elpi_1.19.3-1.debian.tar.xz
 4b7db8431e3efc3756400e54143c897c590a863f9ab42fc5de54ccb07290eca5 8324 coq-elpi_1.19.3-1_source.buildinfo
Files:
 885762b7e7fe945b4bce0bce4ef4aec3 2030 ocaml optional coq-elpi_1.19.3-1.dsc
 17db60a99d07ca13976b794a8205327b 571678 ocaml optional coq-elpi_1.19.3.orig.tar.gz
 be756cf889bd9c549aafd143d66208d3 3108 ocaml optional coq-elpi_1.19.3-1.debian.tar.xz
 eca26f018f36cabe2fd44548441980a1 8324 ocaml optional coq-elpi_1.19.3-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWESpMSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRu0MP/jJvPaTwYLVQvgOYCox+8MpiLPj3h59z
hLOxLU4n91FpsvuDkBRHtrwWrnLAynC/cMBMtTP4/SG05CRb4ZS+nE4FnnjrF1Cs
hjFR6p06/N6fNFAVxW001qsND+2xMOU/iNFijer6Ce5HRaWcsN35/UVoqWKiDABL
Ayld6i6UxmPPmxcwbh8E9qOL8vEDeeAQOJ2yuQTaN+wUSQ4sgP/FozXWtMoj9vrZ
r5cJZ/U47ED+NzeqFF8XVTjI1S3QN5U6kM2LmggMRrbQVw2gPDytUSk89PSbIbYt
5Jgaay/A8OzUdowFVdBFFaBRpGcdxONjpXli2STnKajLwqnhu3ubPUQN798VlCgi
9jztRSwXwwuUDMEO7cgEOZjdKzaBeM0wY63WM2/VMfPk9R1ykJD2leCf0t6ZdZ8T
+Z/BWZCkzCe7QyVNwy6iNmNkuqrB0GP4EIsBPJLjs31WJbNvhpTNIt/oiPM+FQEc
TKDf4mjoLgSr8xrqrRv/aopfWL/tbNsN3IeQ815sj3RkMJV7/OPD35O5KtnfmIhn
fFCiwsFS76ieSkMmZpd0l4MY6tlZlV0Vl94kKkAsnqEo1TQBt69ANwh1e2RoT3Bx
i+kZo1DPxKJj3aZuR3z6vbjJCRiLvLY1oJrHuLIAoEaIEa3zNLvuFmIYjGek0hXt
eRg+LsYPRd9x
=0Ud4
-----END PGP SIGNATURE-----