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-interval_4.8.0-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-interval, 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 1045076@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-interval 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: Fri, 22 Dec 2023 11:33:14 +0100
Source: coq-interval
Architecture: source
Version: 4.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: 1045076
Changes:
 coq-interval (4.9.0-1) unstable; urgency=medium
 .
   [ Debian Janitor ]
   * debian/copyright: use spaces rather than tabs to start continuation lines.
   * Set upstream metadata fields: Bug-Database, Bug-Submit, Repository-Browse.
   * Set upstream metadata fields: Repository.
 .
   [ Julien Puydt ]
   * Fix d/rules clean target (Closes: #1045076).
   * New upstream release.
Checksums-Sha1:
 a151ddd5f078fb217f19cac13f1aaf71841bcf91 2187 coq-interval_4.9.0-1.dsc
 ccf2383ca606268cad3b6f7e1f48ff16ecca5ee5 282047 coq-interval_4.9.0.orig.tar.bz2
 a1aae53deed9def427e43f4af83e6fa67dd79a6c 9192 coq-interval_4.9.0-1.debian.tar.xz
 ed92d37e6e1a4935457aa7fe27fd5f82f5dc7679 8538 coq-interval_4.9.0-1_source.buildinfo
Checksums-Sha256:
 babe37e9733cc723310c41a004eabd2deabc0a1d30f10d7dc70fd944678b779f 2187 coq-interval_4.9.0-1.dsc
 049e6957fd75b1026d3c0a7e786291d25e92870184651449226862ee03f668b6 282047 coq-interval_4.9.0.orig.tar.bz2
 52a457efd712ba8f9f2362a5b1a59f39aebb94bbe5082ff1f6caae22ca31bdda 9192 coq-interval_4.9.0-1.debian.tar.xz
 4d2f9d7960b4c8828be004d6187a43bcec5115f907bd0994ec1e87e713851504 8538 coq-interval_4.9.0-1_source.buildinfo
Files:
 646c528fc9d3f73d6d34858df4527656 2187 ocaml optional coq-interval_4.9.0-1.dsc
 5a6af473def63c486d12e04a8a556330 282047 ocaml optional coq-interval_4.9.0.orig.tar.bz2
 aa965536b6965bd56a8f4da14d387e23 9192 ocaml optional coq-interval_4.9.0-1.debian.tar.xz
 bb9c2a077aad5947651e2987a043ae86 8538 ocaml optional coq-interval_4.9.0-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWFZgsSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR0S4P/2byFVmag3plnBKzOQFu/9n2I5caY3Wl
RB4+k26Y7WXQKf3I/V2MRuXwAgrEl1/Fe0BFExvbb6HZXbp9sA/+DyJFKIpYspCB
NTP2yiFWdauwuWrVLlUXF3A4aWODTj9AAZGclc30PqUIZUf7IOAtZdh/VU/ALOil
OjWiAURU/1rSU7UUiP7skh+6HDzleoShoTO5aji3qd1NB5OcvrOHM1RTjCxTAPfQ
3LC7dbHwVHU4X95PCBCnNGSTrLRkuUNfdFDZsYiM5WmYIiaCSE/8jnzfHo6sLePj
2BjzLm60kgZKpYGbtL0hz7ZTjmqkKMGdqKyG94QGOW7RrQr5uAlxepwrtz2HdlpV
HaljlbnVmIZ7liGLqmXz08Hr2RbpUkNtiSWrbKwRdV8ZdgeXrTR3SRkC1qSUwNib
VZCKVnwb3x1ZUDZbILpLEJvJPzK6+zCYgQiXWYeCmrPaWA8CK85JrOheyzO1PbUs
mOJNinrjORDvTjD46HKOUdcJufRLHOZggJLxT3+GgrWJF7T7s3h8ADNX1uR933Sy
IP26JJfikFGtSbhTPQNgMhspQ7H0+mHaGyQxiPWDklXYuEnBCF+Gt9yKYHkBzxjR
00/8KWPJeY5P17T4JrsrT2o2bdQIUzu6YjtfCZfIyf88t+E/6bRMHd+t753AgWvj
Lz9NnqlxelEK
=aY/e
-----END PGP SIGNATURE-----