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.
