Bug#1044637: Accepted coq 9.2.0+dfsg-2 (source amd64) into unstable

reopen 1044637
thanks

On Tue, Jul 21, 2026 at 08:34:05AM +0000, Debian FTP Masters wrote:
>    * Fix the d/rules cleaning target (Closes: #1044637).

Hi. Sorry for the reopening but apparently the above change was not enough.
This is what happens now when trying to build source after binary build:


Package: coq
Version: 9.2.0+dfsg-3
[...]
 dpkg-source -b .
dpkg-source: info: using source format '3.0 (quilt)'
dpkg-source: info: building coq using existing ../coq_9.2.0+dfsg.orig.tar.xz
dpkg-source: info: using patch list from debian/patches/series
dpkg-source: info: local changes detected, the modified files are:
 coq-core.opam
 coqide-server.opam
 rocq-core.opam
 rocq-runtime.opam
 rocqide.opam
dpkg-source: error: aborting due to unexpected upstream changes, see /tmp/coq_9.2.0+dfsg-3.diff.Y1CrIF
dpkg-source: hint: make sure the version in debian/changelog matches the unpacked source tree
dpkg-source: hint: you can integrate the local changes with dpkg-source --commit
dpkg-buildpackage: error: dpkg-source -b . subprocess failed with exit status 2

(If all those files are generated, I guess adding them to debian/clean would work).

Thanks.