Source: coq-interval Version: 4.8.0-1 Severity: minor Tags: trixie sid ftbfs User: lu...@debian.org Usertags: ftbfs-sab-20230813 ftbfs-source-after-build User: debian...@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-interval > dpkg-buildpackage: info: source version 4.8.0-1 > dpkg-buildpackage: info: source distribution unstable > dpkg-buildpackage: info: source changed by Julien Puydt <jpu...@debian.org> > dpkg-source --before-build . > debian/rules clean > dh clean --with coq,ocaml > dh_autoreconf_clean > dh_ocamlclean > dh_clean > dpkg-source -b . > dpkg-source: info: using source format '3.0 (quilt)' > dpkg-source: info: building coq-interval using existing > ./coq-interval_4.8.0.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/Eval/Eval.vo: binary file > contents changed > dpkg-source: error: add src/Eval/Eval.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/Eval/Eval.vok' will not > be represented in diff > dpkg-source: warning: newly created empty file 'src/Eval/Eval.vos' will not > be represented in diff > dpkg-source: error: cannot represent change to src/Eval/Prog.vo: binary file > contents changed > dpkg-source: error: add src/Eval/Prog.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/Eval/Prog.vok' will not > be represented in diff > dpkg-source: warning: newly created empty file 'src/Eval/Prog.vos' will not > be represented in diff > dpkg-source: error: cannot represent change to src/Eval/Reify.vo: binary file > contents changed > dpkg-source: error: add src/Eval/Reify.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/Eval/Reify.vok' will not > be represented in diff > dpkg-source: warning: newly created empty file 'src/Eval/Reify.vos' will not > be represented in diff > dpkg-source: error: cannot represent change to src/Eval/Tree.vo: binary file > contents changed > dpkg-source: error: add src/Eval/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/Eval/Tree.vok' will not > be represented in diff > dpkg-source: warning: newly created empty file 'src/Eval/Tree.vos' will not > be represented in diff > dpkg-source: error: cannot represent change to src/Float/Basic.vo: binary > file contents changed > dpkg-source: error: add src/Float/Basic.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/Float/Basic.vok' will not > be represented in diff > dpkg-source: warning: newly created empty file 'src/Float/Basic.vos' will not > be represented in diff > dpkg-source: error: cannot represent change to src/Float/Generic.vo: binary > file contents changed > dpkg-source: error: add src/Float/Generic.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/Float/Generic.vok' will > not be represented in diff > dpkg-source: warning: newly created empty file 'src/Float/Generic.vos' will > not be represented in diff > dpkg-source: error: cannot represent change to src/Float/Generic_ops.vo: > binary file contents changed > dpkg-source: error: add src/Float/Generic_ops.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/Float/Generic_ops.vok' > will not be represented in diff > dpkg-source: warning: newly created empty file 'src/Float/Generic_ops.vos' > will not be represented in diff > dpkg-source: error: cannot represent change to src/Float/Generic_proof.vo: > binary file contents changed > dpkg-source: error: add src/Float/Generic_proof.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/Float/Generic_proof.vok' > will not be represented in diff > dpkg-source: warning: newly created empty file 'src/Float/Generic_proof.vos' > will not be represented in diff > dpkg-source: error: cannot represent change to src/Float/Primitive_ops.vo: > binary file contents changed > dpkg-source: error: add src/Float/Primitive_ops.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/Float/Primitive_ops.vok' > will not be represented in diff > dpkg-source: warning: newly created empty file 'src/Float/Primitive_ops.vos' > will not be represented in diff > dpkg-source: error: cannot represent change to src/Float/Sig.vo: binary file > contents changed > dpkg-source: error: add src/Float/Sig.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/Float/Sig.vok' will not > be represented in diff > dpkg-source: warning: newly created empty file 'src/Float/Sig.vos' will not > be represented in diff > dpkg-source: error: cannot represent change to src/Float/Specific_bigint.vo: > binary file contents changed > dpkg-source: error: add src/Float/Specific_bigint.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/Float/Specific_bigint.vok' will not be represented in diff > dpkg-source: warning: newly created empty file > 'src/Float/Specific_bigint.vos' will not be represented in diff > dpkg-source: error: cannot represent change to src/Float/Specific_ops.vo: > binary file contents changed > dpkg-source: error: add src/Float/Specific_ops.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/Float/Specific_ops.vok' > will not be represented in diff > dpkg-source: warning: newly created empty file 'src/Float/Specific_ops.vos' > will not be represented in diff > dpkg-source: error: cannot represent change to src/Float/Specific_sig.vo: > binary file contents changed > dpkg-source: error: add src/Float/Specific_sig.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/Float/Specific_sig.vok' > will not be represented in diff > dpkg-source: warning: newly created empty file 'src/Float/Specific_sig.vos' > will not be represented in diff > dpkg-source: error: cannot represent change to src/Float/Specific_stdz.vo: > binary file contents changed > dpkg-source: error: add src/Float/Specific_stdz.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/Float/Specific_stdz.vok' > will not be represented in diff > dpkg-source: warning: newly created empty file 'src/Float/Specific_stdz.vos' > will not be represented in diff > dpkg-source: error: cannot represent change to src/Integral/Bertrand.vo: > binary file contents changed > dpkg-source: error: add src/Integral/Bertrand.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/Integral/Bertrand.vok' > will not be represented in diff > dpkg-source: warning: newly created empty file 'src/Integral/Bertrand.vos' > will not be represented in diff > dpkg-source: error: cannot represent change to src/Integral/Integral.vo: > binary file contents changed > dpkg-source: error: add src/Integral/Integral.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/Integral/Integral.vok' > will not be represented in diff > dpkg-source: warning: newly created empty file 'src/Integral/Integral.vos' > will not be represented in diff > dpkg-source: error: cannot represent change to src/Integral/Priority.vo: > binary file contents changed > dpkg-source: error: add src/Integral/Priority.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/Integral/Priority.vok' > will not be represented in diff > dpkg-source: warning: newly created empty file 'src/Integral/Priority.vos' > will not be represented in diff > dpkg-source: error: cannot represent change to src/Integral/Refine.vo: binary > file contents changed > dpkg-source: error: add src/Integral/Refine.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/Integral/Refine.vok' will > not be represented in diff > dpkg-source: warning: newly created empty file 'src/Integral/Refine.vos' will > not be represented in diff > dpkg-source: error: cannot represent change to src/Interval/Float.vo: binary > file contents changed > dpkg-source: error: add src/Interval/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/Interval/Float.vok' will > not be represented in diff > dpkg-source: warning: newly created empty file 'src/Interval/Float.vos' will > not be represented in diff > dpkg-source: error: cannot represent change to src/Interval/Float_full.vo: > binary file contents changed > dpkg-source: error: add src/Interval/Float_full.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/Interval/Float_full.vok' > will not be represented in diff > dpkg-source: warning: newly created empty file 'src/Interval/Float_full.vos' > will not be represented in diff > dpkg-source: error: cannot represent change to > src/Interval/Float_full_primfloat.vo: binary file contents changed > dpkg-source: error: add src/Interval/Float_full_primfloat.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/Interval/Float_full_primfloat.vok' will not be represented in diff > dpkg-source: warning: newly created empty file > 'src/Interval/Float_full_primfloat.vos' will not be represented in diff > dpkg-source: error: cannot represent change to src/Interval/Interval.vo: > binary file contents changed > dpkg-source: error: add src/Interval/Interval.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/Interval/Interval.vok' > will not be represented in diff > dpkg-source: warning: newly created empty file 'src/Interval/Interval.vos' > will not be represented in diff > dpkg-source: error: cannot represent change to > src/Interval/Interval_compl.vo: binary file contents changed > dpkg-source: error: add src/Interval/Interval_compl.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/Interval/Interval_compl.vok' will not be represented in diff > dpkg-source: warning: newly created empty file > 'src/Interval/Interval_compl.vos' will not be represented in diff > dpkg-source: error: cannot represent change to src/Interval/Transcend.vo: > binary file contents changed > dpkg-source: error: add src/Interval/Transcend.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/Interval/Transcend.vok' > will not be represented in diff > dpkg-source: warning: newly created empty file 'src/Interval/Transcend.vos' > will not be represented in diff > dpkg-source: error: cannot represent change to > src/Interval/Univariate_sig.vo: binary file contents changed > dpkg-source: error: add src/Interval/Univariate_sig.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/Interval/Univariate_sig.vok' will not be represented in diff > dpkg-source: warning: newly created empty file > 'src/Interval/Univariate_sig.vos' will not be represented in diff > dpkg-source: error: cannot represent change to src/Language/Lang_expr.vo: > binary file contents changed > dpkg-source: error: add src/Language/Lang_expr.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/Language/Lang_expr.vok' > will not be represented in diff > dpkg-source: warning: newly created empty file 'src/Language/Lang_expr.vos' > will not be represented in diff > dpkg-source: error: cannot represent change to src/Language/Lang_simpl.vo: > binary file contents changed > dpkg-source: error: add src/Language/Lang_simpl.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/Language/Lang_simpl.vok' > will not be represented in diff > dpkg-source: warning: newly created empty file 'src/Language/Lang_simpl.vos' > will not be represented in diff > dpkg-source: error: cannot represent change to src/Language/Lang_tac.vo: > binary file contents changed > dpkg-source: error: add src/Language/Lang_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 'src/Language/Lang_tac.vok' > will not be represented in diff > dpkg-source: warning: newly created empty file 'src/Language/Lang_tac.vos' > will not be represented in diff > dpkg-source: error: cannot represent change to src/Missing/Coquelicot.vo: > binary file contents changed > dpkg-source: error: add src/Missing/Coquelicot.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/Missing/Coquelicot.vok' > will not be represented in diff > dpkg-source: warning: newly created empty file 'src/Missing/Coquelicot.vos' > will not be represented in diff > dpkg-source: error: cannot represent change to src/Missing/Int63Compat.vo: > binary file contents changed > dpkg-source: error: add src/Missing/Int63Compat.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/Missing/Int63Compat.vok' > will not be represented in diff > dpkg-source: warning: newly created empty file 'src/Missing/Int63Compat.vos' > will not be represented in diff > dpkg-source: error: cannot represent change to src/Missing/Int63Copy.vo: > binary file contents changed > dpkg-source: error: add src/Missing/Int63Copy.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/Missing/Int63Copy.vok' > will not be represented in diff > dpkg-source: warning: newly created empty file 'src/Missing/Int63Copy.vos' > will not be represented in diff > dpkg-source: error: cannot represent change to src/Missing/MathComp.vo: > binary file contents changed > dpkg-source: error: add src/Missing/MathComp.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/Missing/MathComp.vok' > will not be represented in diff > dpkg-source: warning: newly created empty file 'src/Missing/MathComp.vos' > will not be represented in diff > dpkg-source: error: cannot represent change to src/Missing/MathComp1.vo: > binary file contents changed > dpkg-source: error: add src/Missing/MathComp1.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/Missing/MathComp1.vok' > will not be represented in diff > dpkg-source: warning: newly created empty file 'src/Missing/MathComp1.vos' > will not be represented in diff > dpkg-source: error: cannot represent change to src/Missing/MathComp1or2.vo: > binary file contents changed > dpkg-source: error: add src/Missing/MathComp1or2.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/Missing/MathComp1or2.vok' > will not be represented in diff > dpkg-source: warning: newly created empty file 'src/Missing/MathComp1or2.vos' > will not be represented in diff > dpkg-source: error: cannot represent change to src/Missing/Stdlib.vo: binary > file contents changed > dpkg-source: error: add src/Missing/Stdlib.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/Missing/Stdlib.vok' will > not be represented in diff > dpkg-source: warning: newly created empty file 'src/Missing/Stdlib.vos' will > not be represented in diff > dpkg-source: error: cannot represent change to src/Plot.vo: binary file > contents changed > dpkg-source: error: add src/Plot.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/Plot.vok' will not be > represented in diff > dpkg-source: warning: newly created empty file 'src/Plot.vos' will not be > represented in diff > dpkg-source: error: cannot represent change to src/Plot/interval_plot.cmi: > binary file contents changed > dpkg-source: error: add src/Plot/interval_plot.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/Plot/interval_plot.cmo: > binary file contents changed > dpkg-source: error: add src/Plot/interval_plot.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/Plot/interval_plot.cmx: > binary file contents changed > dpkg-source: error: add src/Plot/interval_plot.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/Plot/interval_plot.cmxs: > binary file contents changed > dpkg-source: error: add src/Plot/interval_plot.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/Plot/interval_plot.cmxs' > will not be represented in diff > dpkg-source: error: cannot represent change to src/Plot/interval_plot.o: > binary file contents changed > dpkg-source: error: add src/Plot/interval_plot.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/Poly/Basic_rec.vo: binary > file contents changed > dpkg-source: error: add src/Poly/Basic_rec.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/Poly/Basic_rec.vok' will > not be represented in diff > dpkg-source: warning: newly created empty file 'src/Poly/Basic_rec.vos' will > not be represented in diff > dpkg-source: error: cannot represent change to src/Poly/Bound.vo: binary file > contents changed > dpkg-source: error: add src/Poly/Bound.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/Poly/Bound.vok' will not > be represented in diff > dpkg-source: warning: newly created empty file 'src/Poly/Bound.vos' will not > be represented in diff > dpkg-source: error: cannot represent change to src/Poly/Bound_quad.vo: binary > file contents changed > dpkg-source: error: add src/Poly/Bound_quad.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/Poly/Bound_quad.vok' will > not be represented in diff > dpkg-source: warning: newly created empty file 'src/Poly/Bound_quad.vos' will > not be represented in diff > dpkg-source: error: cannot represent change to src/Poly/Datatypes.vo: binary > file contents changed > dpkg-source: error: add src/Poly/Datatypes.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/Poly/Datatypes.vok' will > not be represented in diff > dpkg-source: warning: newly created empty file 'src/Poly/Datatypes.vos' will > not be represented in diff > dpkg-source: error: cannot represent change to src/Poly/Taylor_model.vo: > binary file contents changed > dpkg-source: error: add src/Poly/Taylor_model.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/Poly/Taylor_model.vok' > will not be represented in diff > dpkg-source: warning: newly created empty file 'src/Poly/Taylor_model.vos' > will not be represented in diff > dpkg-source: error: cannot represent change to > src/Poly/Taylor_model_sharp.vo: binary file contents changed > dpkg-source: error: add src/Poly/Taylor_model_sharp.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/Poly/Taylor_model_sharp.vok' will not be represented in diff > dpkg-source: warning: newly created empty file > 'src/Poly/Taylor_model_sharp.vos' will not be represented in diff > dpkg-source: error: cannot represent change to src/Poly/Taylor_poly.vo: > binary file contents changed > dpkg-source: error: add src/Poly/Taylor_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 'src/Poly/Taylor_poly.vok' > will not be represented in diff > dpkg-source: warning: newly created empty file 'src/Poly/Taylor_poly.vos' > will not be represented in diff > dpkg-source: error: cannot represent change to src/Real/Taylor.vo: binary > file contents changed > dpkg-source: error: add src/Real/Taylor.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/Real/Taylor.vok' will not > be represented in diff > dpkg-source: warning: newly created empty file 'src/Real/Taylor.vos' will not > be represented in diff > dpkg-source: error: cannot represent change to src/Real/Xreal.vo: binary file > contents changed > dpkg-source: error: add src/Real/Xreal.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/Real/Xreal.vok' will not > be represented in diff > dpkg-source: warning: newly created empty file 'src/Real/Xreal.vos' will not > be represented in diff > dpkg-source: error: cannot represent change to src/Real/Xreal_derive.vo: > binary file contents changed > dpkg-source: error: add src/Real/Xreal_derive.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/Real/Xreal_derive.vok' > will not be represented in diff > dpkg-source: warning: newly created empty file 'src/Real/Xreal_derive.vos' > will not be represented in diff > dpkg-source: error: cannot represent change to src/Tactic.vo: binary file > contents changed > dpkg-source: error: add src/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/Tactic.vok' will not be > represented in diff > dpkg-source: warning: newly created empty file 'src/Tactic.vos' will not be > represented in diff > dpkg-source: error: cannot represent change to src/Tactic_float.vo: binary > file contents changed > dpkg-source: error: add src/Tactic_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/Tactic_float.vok' will > not be represented in diff > dpkg-source: warning: newly created empty file 'src/Tactic_float.vos' will > not be represented in diff > dpkg-source: error: cannot represent change to > src/Tactics/Integral_helper.vo: binary file contents changed > dpkg-source: error: add src/Tactics/Integral_helper.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/Tactics/Integral_helper.vok' will not be represented in diff > dpkg-source: warning: newly created empty file > 'src/Tactics/Integral_helper.vos' will not be represented in diff > dpkg-source: error: cannot represent change to > src/Tactics/Interval_helper.vo: binary file contents changed > dpkg-source: error: add src/Tactics/Interval_helper.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/Tactics/Interval_helper.vok' will not be represented in diff > dpkg-source: warning: newly created empty file > 'src/Tactics/Interval_helper.vos' will not be represented in diff > dpkg-source: error: cannot represent change to src/Tactics/Plot_helper.vo: > binary file contents changed > dpkg-source: error: add src/Tactics/Plot_helper.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/Tactics/Plot_helper.vok' > will not be represented in diff > dpkg-source: warning: newly created empty file 'src/Tactics/Plot_helper.vos' > will not be represented in diff > dpkg-source: error: cannot represent change to src/Tactics/Root_helper.vo: > binary file contents changed > dpkg-source: error: add src/Tactics/Root_helper.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/Tactics/Root_helper.vok' > will not be represented in diff > dpkg-source: warning: newly created empty file 'src/Tactics/Root_helper.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-interval_4.8.0-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.