Source: gappa
Version: 1.4.1-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 gappa
> dpkg-buildpackage: info: source version 1.4.1-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 sphinxdoc
>    dh_autoreconf_clean
>    dh_clean
>  dpkg-source -b .
> dpkg-source: info: using source format '3.0 (quilt)'
> dpkg-source: info: building gappa using existing ./gappa_1.4.1.orig.tar.bz2
> dpkg-source: warning: executable mode 0755 of 'config.status' will not be 
> represented in diff
> dpkg-source: error: cannot represent change to 
> doc/ext/__pycache__/gappa.cpython-311.pyc: binary file contents changed
> dpkg-source: error: add doc/ext/__pycache__/gappa.cpython-311.pyc in 
> debian/source/include-binaries if you want to store the modified binary in 
> the debian tarball
> dpkg-source: error: cannot represent change to 
> html/.doctrees/arithmetic.doctree: binary file contents changed
> dpkg-source: error: add html/.doctrees/arithmetic.doctree in 
> debian/source/include-binaries if you want to store the modified binary in 
> the debian tarball
> dpkg-source: error: cannot represent change to 
> html/.doctrees/bibliography.doctree: binary file contents changed
> dpkg-source: error: add html/.doctrees/bibliography.doctree in 
> debian/source/include-binaries if you want to store the modified binary in 
> the debian tarball
> dpkg-source: error: cannot represent change to 
> html/.doctrees/customizing.doctree: binary file contents changed
> dpkg-source: error: add html/.doctrees/customizing.doctree in 
> debian/source/include-binaries if you want to store the modified binary in 
> the debian tarball
> dpkg-source: error: cannot represent change to 
> html/.doctrees/environment.pickle: binary file contents changed
> dpkg-source: error: add html/.doctrees/environment.pickle in 
> debian/source/include-binaries if you want to store the modified binary in 
> the debian tarball
> dpkg-source: error: cannot represent change to html/.doctrees/errors.doctree: 
> binary file contents changed
> dpkg-source: error: add html/.doctrees/errors.doctree in 
> debian/source/include-binaries if you want to store the modified binary in 
> the debian tarball
> dpkg-source: error: cannot represent change to 
> html/.doctrees/examples.doctree: binary file contents changed
> dpkg-source: error: add html/.doctrees/examples.doctree in 
> debian/source/include-binaries if you want to store the modified binary in 
> the debian tarball
> dpkg-source: error: cannot represent change to 
> html/.doctrees/formalizing.doctree: binary file contents changed
> dpkg-source: error: add html/.doctrees/formalizing.doctree in 
> debian/source/include-binaries if you want to store the modified binary in 
> the debian tarball
> dpkg-source: error: cannot represent change to 
> html/.doctrees/genindex.doctree: binary file contents changed
> dpkg-source: error: add html/.doctrees/genindex.doctree in 
> debian/source/include-binaries if you want to store the modified binary in 
> the debian tarball
> dpkg-source: error: cannot represent change to html/.doctrees/index.doctree: 
> binary file contents changed
> dpkg-source: error: add html/.doctrees/index.doctree in 
> debian/source/include-binaries if you want to store the modified binary in 
> the debian tarball
> dpkg-source: error: cannot represent change to 
> html/.doctrees/invoking.doctree: binary file contents changed
> dpkg-source: error: add html/.doctrees/invoking.doctree in 
> debian/source/include-binaries if you want to store the modified binary in 
> the debian tarball
> dpkg-source: error: cannot represent change to 
> html/.doctrees/language.doctree: binary file contents changed
> dpkg-source: error: add html/.doctrees/language.doctree in 
> debian/source/include-binaries if you want to store the modified binary in 
> the debian tarball
> dpkg-source: error: cannot represent change to 
> html/.doctrees/theorems.doctree: binary file contents changed
> dpkg-source: error: add html/.doctrees/theorems.doctree in 
> debian/source/include-binaries if you want to store the modified binary in 
> the debian tarball
> dpkg-source: error: cannot represent change to html/.doctrees/tools.doctree: 
> binary file contents changed
> dpkg-source: error: add html/.doctrees/tools.doctree in 
> debian/source/include-binaries if you want to store the modified binary in 
> the debian tarball
> dpkg-source: error: cannot represent change to html/_images/gwhy-sqrt.png: 
> binary file contents changed
> dpkg-source: error: add html/_images/gwhy-sqrt.png in 
> debian/source/include-binaries if you want to store the modified binary in 
> the debian tarball
> dpkg-source: warning: file gappa-1.4.1/html/_static/alabaster.css has no 
> final newline (either original or modified version)
> dpkg-source: warning: file gappa-1.4.1/html/_static/basic.css has no final 
> newline (either original or modified version)
> dpkg-source: warning: file gappa-1.4.1/html/_static/documentation_options.js 
> has no final newline (either original or modified version)
> dpkg-source: error: cannot represent change to html/_static/file.png: binary 
> file contents changed
> dpkg-source: error: add html/_static/file.png in 
> debian/source/include-binaries if you want to store the modified binary in 
> the debian tarball
> dpkg-source: error: cannot represent change to 
> html/_static/forkme_right_darkblue_121621.png: binary file contents changed
> dpkg-source: error: add html/_static/forkme_right_darkblue_121621.png in 
> debian/source/include-binaries if you want to store the modified binary in 
> the debian tarball
> dpkg-source: error: cannot represent change to html/_static/minus.png: binary 
> file contents changed
> dpkg-source: error: add html/_static/minus.png in 
> debian/source/include-binaries if you want to store the modified binary in 
> the debian tarball
> dpkg-source: error: cannot represent change to html/_static/plus.png: binary 
> file contents changed
> dpkg-source: error: add html/_static/plus.png in 
> debian/source/include-binaries if you want to store the modified binary in 
> the debian tarball
> dpkg-source: warning: file gappa-1.4.1/html/_static/pygments.css has no final 
> newline (either original or modified version)
> dpkg-source: warning: file gappa-1.4.1/html/arithmetic.html has no final 
> newline (either original or modified version)
> dpkg-source: warning: file gappa-1.4.1/html/bibliography.html has no final 
> newline (either original or modified version)
> dpkg-source: warning: file gappa-1.4.1/html/customizing.html has no final 
> newline (either original or modified version)
> dpkg-source: warning: file gappa-1.4.1/html/errors.html has no final newline 
> (either original or modified version)
> dpkg-source: warning: file gappa-1.4.1/html/examples.html has no final 
> newline (either original or modified version)
> dpkg-source: warning: file gappa-1.4.1/html/formalizing.html has no final 
> newline (either original or modified version)
> dpkg-source: warning: file gappa-1.4.1/html/genindex.html has no final 
> newline (either original or modified version)
> dpkg-source: warning: file gappa-1.4.1/html/index.html has no final newline 
> (either original or modified version)
> dpkg-source: warning: file gappa-1.4.1/html/invoking.html has no final 
> newline (either original or modified version)
> dpkg-source: warning: file gappa-1.4.1/html/language.html has no final 
> newline (either original or modified version)
> dpkg-source: warning: file gappa-1.4.1/html/objects.inv has no final newline 
> (either original or modified version)
> dpkg-source: warning: file gappa-1.4.1/html/search.html has no final newline 
> (either original or modified version)
> dpkg-source: warning: file gappa-1.4.1/html/searchindex.js has no final 
> newline (either original or modified version)
> dpkg-source: warning: file gappa-1.4.1/html/theorems.html has no final 
> newline (either original or modified version)
> dpkg-source: warning: file gappa-1.4.1/html/tools.html has no final newline 
> (either original or modified version)
> 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/arithmetic/fixed.o: binary 
> file contents changed
> dpkg-source: error: add src/arithmetic/fixed.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/arithmetic/float.o: binary 
> file contents changed
> dpkg-source: error: add src/arithmetic/float.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/arithmetic/homogen.o: 
> binary file contents changed
> dpkg-source: error: add src/arithmetic/homogen.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/arithmetic/relative.o: 
> binary file contents changed
> dpkg-source: error: add src/arithmetic/relative.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/backends/backend.o: binary 
> file contents changed
> dpkg-source: error: add src/backends/backend.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/backends/coq.o: binary 
> file contents changed
> dpkg-source: error: add src/backends/coq.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/backends/coq_common.o: 
> binary file contents changed
> dpkg-source: error: add src/backends/coq_common.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/backends/coq_lambda.o: 
> binary file contents changed
> dpkg-source: error: add src/backends/coq_lambda.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/backends/holl.o: binary 
> file contents changed
> dpkg-source: error: add src/backends/holl.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/backends/latex.o: binary 
> file contents changed
> dpkg-source: error: add src/backends/latex.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/gappa: binary file 
> contents changed
> dpkg-source: error: add src/gappa 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/gappa' will not be 
> represented in diff
> dpkg-source: error: cannot represent change to src/main.o: binary file 
> contents changed
> dpkg-source: error: add src/main.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/numbers/interval.o: binary 
> file contents changed
> dpkg-source: error: add src/numbers/interval.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/numbers/io.o: binary file 
> contents changed
> dpkg-source: error: add src/numbers/io.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/numbers/real.o: binary 
> file contents changed
> dpkg-source: error: add src/numbers/real.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/numbers/round.o: binary 
> file contents changed
> dpkg-source: error: add src/numbers/round.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/parameters.o: binary file 
> contents changed
> dpkg-source: error: add src/parameters.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/parser/ast.o: binary file 
> contents changed
> dpkg-source: error: add src/parser/ast.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/parser/lexer.o: binary 
> file contents changed
> dpkg-source: error: add src/parser/lexer.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/parser/parser.o: binary 
> file contents changed
> dpkg-source: error: add src/parser/parser.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/parser/parser_aux.o: 
> binary file contents changed
> dpkg-source: error: add src/parser/parser_aux.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/parser/pattern.o: binary 
> file contents changed
> dpkg-source: error: add src/parser/pattern.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/parser/ring.o: binary file 
> contents changed
> dpkg-source: error: add src/parser/ring.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/proofs/basic_proof.o: 
> binary file contents changed
> dpkg-source: error: add src/proofs/basic_proof.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/proofs/dichotomy.o: binary 
> file contents changed
> dpkg-source: error: add src/proofs/dichotomy.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/proofs/proof_graph.o: 
> binary file contents changed
> dpkg-source: error: add src/proofs/proof_graph.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/proofs/property.o: binary 
> file contents changed
> dpkg-source: error: add src/proofs/property.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/proofs/rewriting.o: binary 
> file contents changed
> dpkg-source: error: add src/proofs/rewriting.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/proofs/schemes.o: binary 
> file contents changed
> dpkg-source: error: add src/proofs/schemes.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/proofs/updater.o: binary 
> file contents changed
> dpkg-source: error: add src/proofs/updater.o in 
> debian/source/include-binaries if you want to store the modified binary in 
> the debian tarball
> dpkg-source: warning: newly created empty file 'stamp-config_h' will not be 
> represented in diff
> dpkg-source: warning: newly created empty file 'stamp-config_h.in' 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/gappa_1.4.1-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 via email to