Bug#1044296: coqeal: Fails to build source after successful build
Source: coqeal
Version: 1.1.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 coqeal
> dpkg-buildpackage: info: source version 1.1.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
> debian/rules override_dh_auto_clean
> make[1]: Entering directory '/<<PKGBUILDDIR>>'
> # not good
> make[1]: Leaving directory '/<<PKGBUILDDIR>>'
> dh_clean
> dpkg-source -b .
> dpkg-source: info: using source format '3.0 (quilt)'
> dpkg-source: info: building coqeal using existing ./coqeal_1.1.3.orig.tar.gz
> dpkg-source: error: cannot represent change to refinements/bareiss_eff.vo: binary file contents changed
> dpkg-source: error: add refinements/bareiss_eff.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 'refinements/bareiss_eff.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'refinements/bareiss_eff.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to refinements/binint.vo: binary file contents changed
> dpkg-source: error: add refinements/binint.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 'refinements/binint.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'refinements/binint.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to refinements/binnat.vo: binary file contents changed
> dpkg-source: error: add refinements/binnat.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 'refinements/binnat.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'refinements/binnat.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to refinements/binord.vo: binary file contents changed
> dpkg-source: error: add refinements/binord.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 'refinements/binord.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'refinements/binord.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to refinements/binrat.vo: binary file contents changed
> dpkg-source: error: add refinements/binrat.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 'refinements/binrat.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'refinements/binrat.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to refinements/boolF2.vo: binary file contents changed
> dpkg-source: error: add refinements/boolF2.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 'refinements/boolF2.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'refinements/boolF2.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to refinements/examples/irred.vo: binary file contents changed
> dpkg-source: error: add refinements/examples/irred.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 'refinements/examples/irred.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'refinements/examples/irred.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to refinements/hpoly.vo: binary file contents changed
> dpkg-source: error: add refinements/hpoly.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 'refinements/hpoly.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'refinements/hpoly.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to refinements/hrel.vo: binary file contents changed
> dpkg-source: error: add refinements/hrel.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 'refinements/hrel.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'refinements/hrel.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to refinements/karatsuba.vo: binary file contents changed
> dpkg-source: error: add refinements/karatsuba.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 'refinements/karatsuba.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'refinements/karatsuba.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to refinements/multipoly.vo: binary file contents changed
> dpkg-source: error: add refinements/multipoly.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 'refinements/multipoly.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'refinements/multipoly.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to refinements/param.vo: binary file contents changed
> dpkg-source: error: add refinements/param.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 'refinements/param.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'refinements/param.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to refinements/poly_div.vo: binary file contents changed
> dpkg-source: error: add refinements/poly_div.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 'refinements/poly_div.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'refinements/poly_div.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to refinements/poly_op.vo: binary file contents changed
> dpkg-source: error: add refinements/poly_op.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 'refinements/poly_op.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'refinements/poly_op.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to refinements/pos.vo: binary file contents changed
> dpkg-source: error: add refinements/pos.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 'refinements/pos.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'refinements/pos.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to refinements/rational.vo: binary file contents changed
> dpkg-source: error: add refinements/rational.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 'refinements/rational.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'refinements/rational.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to refinements/refinements.vo: binary file contents changed
> dpkg-source: error: add refinements/refinements.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 'refinements/refinements.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'refinements/refinements.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to refinements/seqmx.vo: binary file contents changed
> dpkg-source: error: add refinements/seqmx.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 'refinements/seqmx.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'refinements/seqmx.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to refinements/seqmx_complements.vo: binary file contents changed
> dpkg-source: error: add refinements/seqmx_complements.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 'refinements/seqmx_complements.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'refinements/seqmx_complements.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to refinements/seqpoly.vo: binary file contents changed
> dpkg-source: error: add refinements/seqpoly.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 'refinements/seqpoly.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'refinements/seqpoly.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to refinements/trivial_seq.vo: binary file contents changed
> dpkg-source: error: add refinements/trivial_seq.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 'refinements/trivial_seq.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'refinements/trivial_seq.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/atomic_operations.vo: binary file contents changed
> dpkg-source: error: add theory/atomic_operations.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 'theory/atomic_operations.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/atomic_operations.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/bareiss.vo: binary file contents changed
> dpkg-source: error: add theory/bareiss.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 'theory/bareiss.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/bareiss.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/bareiss_dvdring.vo: binary file contents changed
> dpkg-source: error: add theory/bareiss_dvdring.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 'theory/bareiss_dvdring.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/bareiss_dvdring.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/binetcauchy.vo: binary file contents changed
> dpkg-source: error: add theory/binetcauchy.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 'theory/binetcauchy.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/binetcauchy.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/closed_poly.vo: binary file contents changed
> dpkg-source: error: add theory/closed_poly.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 'theory/closed_poly.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/closed_poly.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/coherent.vo: binary file contents changed
> dpkg-source: error: add theory/coherent.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 'theory/coherent.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/coherent.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/companion.vo: binary file contents changed
> dpkg-source: error: add theory/companion.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 'theory/companion.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/companion.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/dvdring.vo: binary file contents changed
> dpkg-source: error: add theory/dvdring.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 'theory/dvdring.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/dvdring.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/edr.vo: binary file contents changed
> dpkg-source: error: add theory/edr.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 'theory/edr.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/edr.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/fpmod.vo: binary file contents changed
> dpkg-source: error: add theory/fpmod.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 'theory/fpmod.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/fpmod.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/frobenius_form.vo: binary file contents changed
> dpkg-source: error: add theory/frobenius_form.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 'theory/frobenius_form.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/frobenius_form.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/gauss.vo: binary file contents changed
> dpkg-source: error: add theory/gauss.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 'theory/gauss.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/gauss.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/jordan.vo: binary file contents changed
> dpkg-source: error: add theory/jordan.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 'theory/jordan.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/jordan.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/kaplansky.vo: binary file contents changed
> dpkg-source: error: add theory/kaplansky.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 'theory/kaplansky.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/kaplansky.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/karatsuba.vo: binary file contents changed
> dpkg-source: error: add theory/karatsuba.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 'theory/karatsuba.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/karatsuba.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/minor.vo: binary file contents changed
> dpkg-source: error: add theory/minor.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 'theory/minor.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/minor.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/mxstructure.vo: binary file contents changed
> dpkg-source: error: add theory/mxstructure.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 'theory/mxstructure.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/mxstructure.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/perm_eq_image.vo: binary file contents changed
> dpkg-source: error: add theory/perm_eq_image.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 'theory/perm_eq_image.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/perm_eq_image.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/polydvd.vo: binary file contents changed
> dpkg-source: error: add theory/polydvd.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 'theory/polydvd.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/polydvd.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/rank.vo: binary file contents changed
> dpkg-source: error: add theory/rank.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 'theory/rank.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/rank.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/similar.vo: binary file contents changed
> dpkg-source: error: add theory/similar.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 'theory/similar.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/similar.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/smith.vo: binary file contents changed
> dpkg-source: error: add theory/smith.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 'theory/smith.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/smith.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/smith_complements.vo: binary file contents changed
> dpkg-source: error: add theory/smith_complements.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 'theory/smith_complements.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/smith_complements.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/smithpid.vo: binary file contents changed
> dpkg-source: error: add theory/smithpid.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 'theory/smithpid.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/smithpid.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/ssralg_ring_tac.vo: binary file contents changed
> dpkg-source: error: add theory/ssralg_ring_tac.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 'theory/ssralg_ring_tac.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/ssralg_ring_tac.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/ssrcomplements.vo: binary file contents changed
> dpkg-source: error: add theory/ssrcomplements.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 'theory/ssrcomplements.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/ssrcomplements.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/strassen.vo: binary file contents changed
> dpkg-source: error: add theory/strassen.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 'theory/strassen.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/strassen.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/stronglydiscrete.vo: binary file contents changed
> dpkg-source: error: add theory/stronglydiscrete.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 'theory/stronglydiscrete.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/stronglydiscrete.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theory/toomcook.vo: binary file contents changed
> dpkg-source: error: add theory/toomcook.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 'theory/toomcook.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theory/toomcook.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/coqeal_1.1.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: