Source: mathcomp-real-closed Version: 1.1.4-2 Severity: minor Tags: trixie sid ftbfs User: [email protected] Usertags: ftbfs-sab-20230813 ftbfs-source-after-build User: [email protected] Usertags: qa-doublebuild
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: > cd /<<PKGBUILDDIR>> && runuser -u user42 -- dpkg-buildpackage --sanitize-env > -us -uc -rfakeroot -S > ----------------------------------------------------------------------------------------------------------------------------------------------- > > dpkg-buildpackage: info: source package mathcomp-real-closed > dpkg-buildpackage: info: source version 1.1.4-2 > dpkg-buildpackage: info: source distribution unstable > dpkg-buildpackage: info: source changed by Stéphane Glondu > <[email protected]> > dpkg-source --before-build . > debian/rules clean > dh clean --with coq > debian/rules override_dh_auto_clean > make[1]: Entering directory '/<<PKGBUILDDIR>>' > make clean > make[2]: Entering directory '/<<PKGBUILDDIR>>' > coq_makefile -f _CoqProject -o Makefile.coq > make --no-print-directory -f Makefile.coq clean > CLEAN > make[2]: Leaving directory '/<<PKGBUILDDIR>>' > rm -f Makefile.coq Makefile.coq.conf > make[1]: Leaving directory '/<<PKGBUILDDIR>>' > dh_clean > dpkg-source -b . > dpkg-source: info: using source format '3.0 (quilt)' > dpkg-source: info: building mathcomp-real-closed using existing > ./mathcomp-real-closed_1.1.4.orig.tar.gz > dpkg-source: error: cannot represent change to > _build/install/default/lib/coq-mathcomp-real-closed/dune-package: > dpkg-source: error: new version is symlink to > ../../../../default/coq-mathcomp-real-closed.dune-package > dpkg-source: error: old version is nonexistent > dpkg-source: error: cannot represent change to > _build/install/default/lib/coq-mathcomp-real-closed/opam: > dpkg-source: error: new version is symlink to > ../../../../default/coq-mathcomp-real-closed.opam > dpkg-source: error: old version is nonexistent > dpkg-source: error: cannot represent change to > _build/install/default/lib/coq-mathcomp-real-closed/META: > dpkg-source: error: new version is symlink to > ../../../../default/META.coq-mathcomp-real-closed > dpkg-source: error: old version is nonexistent > dpkg-source: error: cannot represent change to > _build/install/default/doc/coq-mathcomp-real-closed/README.md: > dpkg-source: error: new version is symlink to ../../../../default/README.md > dpkg-source: error: old version is nonexistent > dpkg-source: error: cannot represent change to _build/.db: binary file > contents changed > dpkg-source: error: add _build/.db in debian/source/include-binaries if you > want to store the modified binary in the debian tarball > dpkg-source: error: cannot represent change to _build/.digest-db: binary file > contents changed > dpkg-source: error: add _build/.digest-db in debian/source/include-binaries > if you want to store the modified binary in the debian tarball > dpkg-source: warning: file > mathcomp-real-closed-1.1.4/_build/.filesystem-clock has no final newline > (either original or modified version) > dpkg-source: warning: file mathcomp-real-closed-1.1.4/_build/.lock has no > final newline (either original or modified version) > dpkg-source: warning: file > mathcomp-real-closed-1.1.4/_build/default/.dune/configurator.v2 has no final > newline (either original or modified version) > dpkg-source: warning: newly created empty file > '_build/default/.mathcomp.theory.d' will not be represented in diff > dpkg-source: warning: newly created empty file > '_build/default/META.coq-mathcomp-real-closed' will not be represented in diff > dpkg-source: warning: executable mode 0555 of '_build/default/debian/rules' > will not be represented in diff > dpkg-source: warning: file > mathcomp-real-closed-1.1.4/_build/default/theories/all_real_closed.v has no > final newline (either original or modified version) > dpkg-source: error: cannot represent change to > _build/default/theories/all_real_closed.vo: binary file contents changed > dpkg-source: error: add _build/default/theories/all_real_closed.vo in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: newly created empty file > '_build/default/theories/all_real_closed.vok' will not be represented in diff > dpkg-source: warning: newly created empty file > '_build/default/theories/all_real_closed.vos' will not be represented in diff > dpkg-source: error: cannot represent change to > _build/default/theories/cauchyreals.vo: binary file contents changed > dpkg-source: error: add _build/default/theories/cauchyreals.vo in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: newly created empty file > '_build/default/theories/cauchyreals.vok' will not be represented in diff > dpkg-source: warning: newly created empty file > '_build/default/theories/cauchyreals.vos' will not be represented in diff > dpkg-source: error: cannot represent change to > _build/default/theories/complex.vo: binary file contents changed > dpkg-source: error: add _build/default/theories/complex.vo in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: newly created empty file > '_build/default/theories/complex.vok' will not be represented in diff > dpkg-source: warning: newly created empty file > '_build/default/theories/complex.vos' will not be represented in diff > dpkg-source: error: cannot represent change to > _build/default/theories/mxtens.vo: binary file contents changed > dpkg-source: error: add _build/default/theories/mxtens.vo in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: newly created empty file > '_build/default/theories/mxtens.vok' will not be represented in diff > dpkg-source: warning: newly created empty file > '_build/default/theories/mxtens.vos' will not be represented in diff > dpkg-source: error: cannot represent change to > _build/default/theories/ordered_qelim.vo: binary file contents changed > dpkg-source: error: add _build/default/theories/ordered_qelim.vo in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: newly created empty file > '_build/default/theories/ordered_qelim.vok' will not be represented in diff > dpkg-source: warning: newly created empty file > '_build/default/theories/ordered_qelim.vos' will not be represented in diff > dpkg-source: error: cannot represent change to > _build/default/theories/polyorder.vo: binary file contents changed > dpkg-source: error: add _build/default/theories/polyorder.vo in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: newly created empty file > '_build/default/theories/polyorder.vok' will not be represented in diff > dpkg-source: warning: newly created empty file > '_build/default/theories/polyorder.vos' will not be represented in diff > dpkg-source: error: cannot represent change to > _build/default/theories/polyrcf.vo: binary file contents changed > dpkg-source: error: add _build/default/theories/polyrcf.vo in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: newly created empty file > '_build/default/theories/polyrcf.vok' will not be represented in diff > dpkg-source: warning: newly created empty file > '_build/default/theories/polyrcf.vos' will not be represented in diff > dpkg-source: error: cannot represent change to > _build/default/theories/qe_rcf.vo: binary file contents changed > dpkg-source: error: add _build/default/theories/qe_rcf.vo in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: newly created empty file > '_build/default/theories/qe_rcf.vok' will not be represented in diff > dpkg-source: warning: newly created empty file > '_build/default/theories/qe_rcf.vos' will not be represented in diff > dpkg-source: error: cannot represent change to > _build/default/theories/qe_rcf_th.vo: binary file contents changed > dpkg-source: error: add _build/default/theories/qe_rcf_th.vo in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: newly created empty file > '_build/default/theories/qe_rcf_th.vok' will not be represented in diff > dpkg-source: warning: newly created empty file > '_build/default/theories/qe_rcf_th.vos' will not be represented in diff > dpkg-source: error: cannot represent change to > _build/default/theories/realalg.vo: binary file contents changed > dpkg-source: error: add _build/default/theories/realalg.vo in > debian/source/include-binaries if you want to store the modified binary in > the debian tarball > dpkg-source: warning: newly created empty file > '_build/default/theories/realalg.vok' will not be represented in diff > dpkg-source: warning: newly created empty file > '_build/default/theories/realalg.vos' will not be represented in diff > dpkg-source: error: unrepresentable changes to source > dpkg-buildpackage: error: dpkg-source -b . subprocess returned exit status 1 > > E: Command 'cd /<<PKGBUILDDIR>> && runuser -u user42 -- dpkg-buildpackage > --sanitize-env -us -uc -rfakeroot -S' failed to run. The full build log is available from: http://qa-logs.debian.net/2023/08/13/mathcomp-real-closed_1.1.4-2_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.
