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

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: Wed, 29 Jul 2026 09:13:11 +0200
Source: coq-interval
Binary: libcoq-interval
Architecture: source amd64
Version: 4.11.4-2
Distribution: unstable
Urgency: medium
Maintainer: Julien Puydt <jpuydt@debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Description:
 libcoq-interval - interval arithmetic for Coq
Closes: 1045076
Changes:
 coq-interval (4.11.4-2) unstable; urgency=medium
 .
   * Fix compilation with recent Coq/Rocq.
   * Fix source build after build (Closes: #1045076).
Checksums-Sha1:
 b62a8c9e2910aa72a5c0cd6d6c2ed8fc1c6d9012 2213 coq-interval_4.11.4-2.dsc
 8bf2b4b79c93006fea48563bd2483be932cceb26 346599 coq-interval_4.11.4.orig.tar.gz
 fd0a15b3cb832fc01c3aeea93ee5c80c736de8b6 10368 coq-interval_4.11.4-2.debian.tar.xz
 8a0d6664c5acdde70062a326777de74761594d49 7679 coq-interval_4.11.4-2_amd64.buildinfo
 3396d3099d4ad7bc55a5c5c108a48d876f9ce55b 6448212 libcoq-interval_4.11.4-2_amd64.deb
Checksums-Sha256:
 bb7fc4bd251a1464d22136959d570380e33af35c3642598c02465f0f077fadbe 2213 coq-interval_4.11.4-2.dsc
 f2e0c6ee1bd781db896d032a6e5dbac5b19ee1f8b0ef364b4d272be9c921d66c 346599 coq-interval_4.11.4.orig.tar.gz
 a8acd01947ae08be9e9161da2e228337833d7b2cf3d651ea58c5583e5ef5a1f7 10368 coq-interval_4.11.4-2.debian.tar.xz
 75d262d1c3f5a17e84a8a11e09cb0d6c60a7cadc11e560e85a03ee86e2d068c2 7679 coq-interval_4.11.4-2_amd64.buildinfo
 fbcf5e0b160c67afd1c0d2f6d8fc025ff75e8dba684f5e6b138e431fbfb2f1a8 6448212 libcoq-interval_4.11.4-2_amd64.deb
Files:
 da1f6761c60cf62b802eed869f155cdc 2213 ocaml optional coq-interval_4.11.4-2.dsc
 62fb47fa58c6ce854ea3bf9534a9b648 346599 ocaml optional coq-interval_4.11.4.orig.tar.gz
 90f55917b7f0fd228eb55ac323ee3681 10368 ocaml optional coq-interval_4.11.4-2.debian.tar.xz
 2cc998751cac3028c61f00975b0e466e 7679 ocaml optional coq-interval_4.11.4-2_amd64.buildinfo
 268bd1196b477ff97c9664a3bffe4d65 6448212 ocaml optional libcoq-interval_4.11.4-2_amd64.deb
-----BEGIN PGP SIGNATURE-----

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpp3ZkZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUdoGD/45KBJ2chptspVAMlJ5yWFp
Gaczqe6l71I09DmHE/CVjlH4icjqDGljzxJCoueUgqrSyRcvvnV3BKY1mv5iX5Mv
17/qaEKQ7ryPCR9sENuTKDT+m9CIVxZ7lTuCKGpOwsK65Ae8mLztxAO6eNBgv9IU
RCE9VvX6YSg9RnBY4zaAxVNR75hNcBBrOceCu7SkBtM6OjyV8hFbwIMLYIYFm4XD
DWZ/63/511wueGw7hfSQafHGR+ZvuaDcKJihgAKN8BO6R4Kg61nRDcHmVS7wG3A4
uTB3liWCi5LLwgDiFXNqeN02S8O4X5Q8UecvrOobAxHddU+FFGWCj2ZJkuP+Wauz
gC4+PWQ4PVyPoHMyL03dxFtRpGu5winL1Zv7MHEnzRiRgYMojn5LQcw+CYev19GT
O7NbQROFbKpWiT6Eo+5EsuNUdL6hfNUXrSShB/qxmeh7HlFrhVXO4/APYIc9meyf
UAdAhaQUPn+ZAxJ1ycaQ6sl1ixGwJ/+MPLYz1UVWLhqWco5vGUqhniz8TofAczI4
A/J2cDD1agc1huzviPzwSqKM72zfmOIaA24N0uskzyFbc5uZ6lH7BZMmhx42ACBV
dJqK14xsXRCiVhi/PTQhqKWkeaDe56TtQGFC45Nghgns3b94FYhtzYnoHlMWfPFR
C+2r2wGO6YMLjGOJKs0YDQ==
=4aqE
-----END PGP SIGNATURE-----