Bug#1045076: coq-interval: Fails to build source after successful build
Source: coq-interval
Version: 4.8.0-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-interval
> dpkg-buildpackage: info: source version 4.8.0-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,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.
Reply to: