Bug#1044944: coq-gappa: Fails to build source after successful build
Source: coq-gappa
Version: 1.5.3-1
Severity: minor
Tags: trixie sid ftbfs
User: lucas@debian.org
Usertags: ftbfs-sab-20230813 ftbfs-source-after-build
User: debian-qa@lists.debian.org
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-gappa
> dpkg-buildpackage: info: source version 1.5.3-1
> dpkg-buildpackage: info: source distribution unstable
> dpkg-buildpackage: info: source changed by Julien Puydt <jpuydt@debian.org>
> dpkg-source --before-build .
> debian/rules clean
> dh clean --with coq
> dh_autoreconf_clean
> dh_clean
> dpkg-source -b .
> dpkg-source: info: using source format '3.0 (quilt)'
> dpkg-source: info: building coq-gappa using existing ./coq-gappa_1.5.3.orig.tar.bz2
> dpkg-source: info: using patch list from debian/patches/series
> dpkg-source: error: cannot represent change to .lia.cache: binary file contents changed
> dpkg-source: error: add .lia.cache in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: executable mode 0755 of 'config.status' will not be represented in diff
> dpkg-source: error: cannot represent change to remake: binary file contents changed
> dpkg-source: error: add remake in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: executable mode 0755 of 'remake' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Gappa_common.vo: binary file contents changed
> dpkg-source: error: add src/Gappa_common.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 'src/Gappa_common.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Gappa_common.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Gappa_decimal.vo: binary file contents changed
> dpkg-source: error: add src/Gappa_decimal.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 'src/Gappa_decimal.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Gappa_decimal.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Gappa_definitions.vo: binary file contents changed
> dpkg-source: error: add src/Gappa_definitions.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 'src/Gappa_definitions.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Gappa_definitions.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Gappa_dyadic.vo: binary file contents changed
> dpkg-source: error: add src/Gappa_dyadic.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 'src/Gappa_dyadic.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Gappa_dyadic.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Gappa_fixed.vo: binary file contents changed
> dpkg-source: error: add src/Gappa_fixed.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 'src/Gappa_fixed.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Gappa_fixed.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Gappa_float.vo: binary file contents changed
> dpkg-source: error: add src/Gappa_float.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 'src/Gappa_float.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Gappa_float.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Gappa_library.vo: binary file contents changed
> dpkg-source: error: add src/Gappa_library.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 'src/Gappa_library.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Gappa_library.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Gappa_obfuscate.vo: binary file contents changed
> dpkg-source: error: add src/Gappa_obfuscate.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 'src/Gappa_obfuscate.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Gappa_obfuscate.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Gappa_pred_abs.vo: binary file contents changed
> dpkg-source: error: add src/Gappa_pred_abs.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 'src/Gappa_pred_abs.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Gappa_pred_abs.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Gappa_pred_bnd.vo: binary file contents changed
> dpkg-source: error: add src/Gappa_pred_bnd.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 'src/Gappa_pred_bnd.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Gappa_pred_bnd.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Gappa_pred_fixflt.vo: binary file contents changed
> dpkg-source: error: add src/Gappa_pred_fixflt.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 'src/Gappa_pred_fixflt.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Gappa_pred_fixflt.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Gappa_pred_nzr.vo: binary file contents changed
> dpkg-source: error: add src/Gappa_pred_nzr.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 'src/Gappa_pred_nzr.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Gappa_pred_nzr.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Gappa_pred_rel.vo: binary file contents changed
> dpkg-source: error: add src/Gappa_pred_rel.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 'src/Gappa_pred_rel.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Gappa_pred_rel.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Gappa_real.vo: binary file contents changed
> dpkg-source: error: add src/Gappa_real.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 'src/Gappa_real.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Gappa_real.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Gappa_rewriting.vo: binary file contents changed
> dpkg-source: error: add src/Gappa_rewriting.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 'src/Gappa_rewriting.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Gappa_rewriting.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Gappa_round.vo: binary file contents changed
> dpkg-source: error: add src/Gappa_round.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 'src/Gappa_round.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Gappa_round.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Gappa_round_aux.vo: binary file contents changed
> dpkg-source: error: add src/Gappa_round_aux.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 'src/Gappa_round_aux.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Gappa_round_aux.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Gappa_round_def.vo: binary file contents changed
> dpkg-source: error: add src/Gappa_round_def.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 'src/Gappa_round_def.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Gappa_round_def.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Gappa_tactic.vo: binary file contents changed
> dpkg-source: error: add src/Gappa_tactic.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 'src/Gappa_tactic.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Gappa_tactic.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Gappa_tactic_loader.vo: binary file contents changed
> dpkg-source: error: add src/Gappa_tactic_loader.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 'src/Gappa_tactic_loader.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Gappa_tactic_loader.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Gappa_tree.vo: binary file contents changed
> dpkg-source: error: add src/Gappa_tree.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 'src/Gappa_tree.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Gappa_tree.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Gappa_user.vo: binary file contents changed
> dpkg-source: error: add src/Gappa_user.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 'src/Gappa_user.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Gappa_user.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/gappatac.cmi: binary file contents changed
> dpkg-source: error: add src/gappatac.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/gappatac.cmo: binary file contents changed
> dpkg-source: error: add src/gappatac.cmo 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/gappatac.cmx: binary file contents changed
> dpkg-source: error: add src/gappatac.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/gappatac.cmxs: binary file contents changed
> dpkg-source: error: add src/gappatac.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/gappatac.cmxs' will not be represented in diff
> dpkg-source: error: cannot represent change to src/gappatac.o: binary file contents changed
> dpkg-source: error: add src/gappatac.o in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> 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-gappa_1.5.3-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.
Reply to: