Source: coq-unicoq Version: 1.6-8.17-1 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 coq-unicoq > dpkg-buildpackage: info: source version 1.6-8.17-1 > dpkg-buildpackage: info: source distribution unstable > dpkg-buildpackage: info: source changed by Julien Puydt <[email protected]> > dpkg-source --before-build . > debian/rules clean > dh clean --with coq,ocaml > debian/rules override_dh_auto_clean > make[1]: Entering directory '/<<PKGBUILDDIR>>' > Doesn't work as expected > make[1]: Leaving directory '/<<PKGBUILDDIR>>' > dh_ocamlclean > dh_clean > dpkg-source -b . > dpkg-source: info: using source format '3.0 (quilt)' > dpkg-source: info: building coq-unicoq using existing > ./coq-unicoq_1.6-8.17.orig.tar.gz > dpkg-source: error: cannot represent change to src/logger.cmi: binary file > contents changed > dpkg-source: error: add src/logger.cmi in debian/source/include-binaries if > you want to store the modified binary in the debian tarball > dpkg-source: error: cannot represent change to src/logger.cmt: binary file > contents changed > dpkg-source: error: add src/logger.cmt in debian/source/include-binaries if > you want to store the modified binary in the debian tarball > dpkg-source: error: cannot represent change to src/logger.cmti: binary file > contents changed > dpkg-source: error: add src/logger.cmti in debian/source/include-binaries if > you want to store the modified binary in the debian tarball > dpkg-source: error: cannot represent change to src/logger.cmx: binary file > contents changed > dpkg-source: error: add src/logger.cmx in debian/source/include-binaries if > you want to store the modified binary in the debian tarball > dpkg-source: error: cannot represent change to src/logger.o: binary file > contents changed > dpkg-source: error: add src/logger.o in debian/source/include-binaries if you > want to store the modified binary in the debian tarball > dpkg-source: error: cannot represent change to src/munify.cmi: binary file > contents changed > dpkg-source: error: add src/munify.cmi in debian/source/include-binaries if > you want to store the modified binary in the debian tarball > dpkg-source: error: cannot represent change to src/munify.cmt: binary file > contents changed > dpkg-source: error: add src/munify.cmt in debian/source/include-binaries if > you want to store the modified binary in the debian tarball > dpkg-source: error: cannot represent change to src/munify.cmti: binary file > contents changed > dpkg-source: error: add src/munify.cmti in debian/source/include-binaries if > you want to store the modified binary in the debian tarball > dpkg-source: error: cannot represent change to src/munify.cmx: binary file > contents changed > dpkg-source: error: add src/munify.cmx in debian/source/include-binaries if > you want to store the modified binary in the debian tarball > dpkg-source: error: cannot represent change to src/munify.o: binary file > contents changed > dpkg-source: error: add src/munify.o in debian/source/include-binaries if you > want to store the modified binary in the debian tarball > dpkg-source: error: cannot represent change to src/unicoq.a: binary file > contents changed > dpkg-source: error: add src/unicoq.a in debian/source/include-binaries if you > want to store the modified binary in the debian tarball > dpkg-source: error: cannot represent change to src/unicoq.cmi: binary file > contents changed > dpkg-source: error: add src/unicoq.cmi in debian/source/include-binaries if > you want to store the modified binary in the debian tarball > dpkg-source: error: cannot represent change to src/unicoq.cmt: binary file > contents changed > dpkg-source: error: add src/unicoq.cmt in debian/source/include-binaries if > you want to store the modified binary in the debian tarball > dpkg-source: error: cannot represent change to src/unicoq.cmx: binary file > contents changed > dpkg-source: error: add src/unicoq.cmx in debian/source/include-binaries if > you want to store the modified binary in the debian tarball > dpkg-source: error: cannot represent change to src/unicoq.cmxa: binary file > contents changed > dpkg-source: error: add src/unicoq.cmxa in debian/source/include-binaries if > you want to store the modified binary in the debian tarball > dpkg-source: error: cannot represent change to src/unicoq.cmxs: binary file > contents changed > dpkg-source: error: add src/unicoq.cmxs in debian/source/include-binaries if > you want to store the modified binary in the debian tarball > dpkg-source: warning: executable mode 0755 of 'src/unicoq.cmxs' will not be > represented in diff > dpkg-source: error: cannot represent change to src/unicoq.o: binary file > contents changed > dpkg-source: error: add src/unicoq.o in debian/source/include-binaries if you > want to store the modified binary in the debian tarball > dpkg-source: error: cannot represent change to src/unitactics.cmi: binary > file contents changed > dpkg-source: error: add src/unitactics.cmi in debian/source/include-binaries > if you want to store the modified binary in the debian tarball > dpkg-source: error: cannot represent change to src/unitactics.cmt: binary > file contents changed > dpkg-source: error: add src/unitactics.cmt in debian/source/include-binaries > if you want to store the modified binary in the debian tarball > dpkg-source: error: cannot represent change to src/unitactics.cmx: binary > file contents changed > dpkg-source: error: add src/unitactics.cmx in debian/source/include-binaries > if you want to store the modified binary in the debian tarball > dpkg-source: error: cannot represent change to src/unitactics.o: binary file > contents changed > dpkg-source: error: add src/unitactics.o in debian/source/include-binaries if > you want to store the modified binary in the debian tarball > dpkg-source: error: cannot represent change to test-suite/bug_41.vo: binary > file contents changed > dpkg-source: error: add test-suite/bug_41.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 'test-suite/bug_41.vok' will > not be represented in diff > dpkg-source: warning: newly created empty file 'test-suite/bug_41.vos' will > not be represented in diff > dpkg-source: error: cannot represent change to test-suite/bug_44.vo: binary > file contents changed > dpkg-source: error: add test-suite/bug_44.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 'test-suite/bug_44.vok' will > not be represented in diff > dpkg-source: warning: newly created empty file 'test-suite/bug_44.vos' will > not be represented in diff > dpkg-source: error: cannot represent change to test-suite/instantiate.vo: > binary file contents changed > dpkg-source: error: add test-suite/instantiate.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 'test-suite/instantiate.vok' > will not be represented in diff > dpkg-source: warning: newly created empty file 'test-suite/instantiate.vos' > will not be represented in diff > dpkg-source: error: cannot represent change to test-suite/microtests.vo: > binary file contents changed > dpkg-source: error: add test-suite/microtests.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 'test-suite/microtests.vok' > will not be represented in diff > dpkg-source: warning: newly created empty file 'test-suite/microtests.vos' > will not be represented in diff > dpkg-source: error: cannot represent change to test-suite/munifytest.vo: > binary file contents changed > dpkg-source: error: add test-suite/munifytest.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 'test-suite/munifytest.vok' > will not be represented in diff > dpkg-source: warning: newly created empty file 'test-suite/munifytest.vos' > will not be represented in diff > dpkg-source: error: cannot represent change to test-suite/primitive.vo: > binary file contents changed > dpkg-source: error: add test-suite/primitive.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 'test-suite/primitive.vok' > will not be represented in diff > dpkg-source: warning: newly created empty file 'test-suite/primitive.vos' > will not be represented in diff > dpkg-source: error: cannot represent change to test-suite/timings.vo: binary > file contents changed > dpkg-source: error: add test-suite/timings.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 'test-suite/timings.vok' will > not be represented in diff > dpkg-source: warning: newly created empty file 'test-suite/timings.vos' will > not be represented in diff > dpkg-source: error: cannot represent change to theories/Unicoq.vo: binary > file contents changed > dpkg-source: error: add theories/Unicoq.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 'theories/Unicoq.vok' will not > be represented in diff > dpkg-source: warning: newly created empty file 'theories/Unicoq.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/coq-unicoq_1.6-8.17-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.
