[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#1045076: marked as done (coq-interval: Fails to build source after successful build)

Your message dated Tue, 26 Dec 2023 11:34:12 +0000
with message-id <E1rI5hM-003M0L-H0@fasolo.debian.org>
and subject line Bug#1045076: fixed in coq-interval 4.9.0-1
has caused the Debian Bug report #1045076,
regarding coq-interval: Fails to build source after successful build
to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner@bugs.debian.org
immediately.)


-- 
1045076: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1045076
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
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.

--- End Message ---
--- Begin Message --- 
Source: coq-interval
Source-Version: 4.9.0-1
Done: Julien Puydt <jpuydt@debian.org>

We believe that the bug you reported is fixed in the latest version of
coq-interval, which is due to be installed in the Debian FTP archive.

A summary of the changes between this version and the previous one is
attached.

Thank you for reporting the bug, which will now be closed.  If you
have further comments please address them to 1045076@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Julien Puydt <jpuydt@debian.org> (supplier of updated coq-interval package)

(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmaster@ftp-master.debian.org)


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Fri, 22 Dec 2023 11:33:14 +0100
Source: coq-interval
Architecture: source
Version: 4.9.0-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Closes: 1045076
Changes:
 coq-interval (4.9.0-1) unstable; urgency=medium
 .
   [ Debian Janitor ]
   * debian/copyright: use spaces rather than tabs to start continuation lines.
   * Set upstream metadata fields: Bug-Database, Bug-Submit, Repository-Browse.
   * Set upstream metadata fields: Repository.
 .
   [ Julien Puydt ]
   * Fix d/rules clean target (Closes: #1045076).
   * New upstream release.
Checksums-Sha1:
 a151ddd5f078fb217f19cac13f1aaf71841bcf91 2187 coq-interval_4.9.0-1.dsc
 ccf2383ca606268cad3b6f7e1f48ff16ecca5ee5 282047 coq-interval_4.9.0.orig.tar.bz2
 a1aae53deed9def427e43f4af83e6fa67dd79a6c 9192 coq-interval_4.9.0-1.debian.tar.xz
 ed92d37e6e1a4935457aa7fe27fd5f82f5dc7679 8538 coq-interval_4.9.0-1_source.buildinfo
Checksums-Sha256:
 babe37e9733cc723310c41a004eabd2deabc0a1d30f10d7dc70fd944678b779f 2187 coq-interval_4.9.0-1.dsc
 049e6957fd75b1026d3c0a7e786291d25e92870184651449226862ee03f668b6 282047 coq-interval_4.9.0.orig.tar.bz2
 52a457efd712ba8f9f2362a5b1a59f39aebb94bbe5082ff1f6caae22ca31bdda 9192 coq-interval_4.9.0-1.debian.tar.xz
 4d2f9d7960b4c8828be004d6187a43bcec5115f907bd0994ec1e87e713851504 8538 coq-interval_4.9.0-1_source.buildinfo
Files:
 646c528fc9d3f73d6d34858df4527656 2187 ocaml optional coq-interval_4.9.0-1.dsc
 5a6af473def63c486d12e04a8a556330 282047 ocaml optional coq-interval_4.9.0.orig.tar.bz2
 aa965536b6965bd56a8f4da14d387e23 9192 ocaml optional coq-interval_4.9.0-1.debian.tar.xz
 bb9c2a077aad5947651e2987a043ae86 8538 ocaml optional coq-interval_4.9.0-1_source.buildinfo

-----BEGIN PGP SIGNATURE-----

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWFZgsSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR0S4P/2byFVmag3plnBKzOQFu/9n2I5caY3Wl
RB4+k26Y7WXQKf3I/V2MRuXwAgrEl1/Fe0BFExvbb6HZXbp9sA/+DyJFKIpYspCB
NTP2yiFWdauwuWrVLlUXF3A4aWODTj9AAZGclc30PqUIZUf7IOAtZdh/VU/ALOil
OjWiAURU/1rSU7UUiP7skh+6HDzleoShoTO5aji3qd1NB5OcvrOHM1RTjCxTAPfQ
3LC7dbHwVHU4X95PCBCnNGSTrLRkuUNfdFDZsYiM5WmYIiaCSE/8jnzfHo6sLePj
2BjzLm60kgZKpYGbtL0hz7ZTjmqkKMGdqKyG94QGOW7RrQr5uAlxepwrtz2HdlpV
HaljlbnVmIZ7liGLqmXz08Hr2RbpUkNtiSWrbKwRdV8ZdgeXrTR3SRkC1qSUwNib
VZCKVnwb3x1ZUDZbILpLEJvJPzK6+zCYgQiXWYeCmrPaWA8CK85JrOheyzO1PbUs
mOJNinrjORDvTjD46HKOUdcJufRLHOZggJLxT3+GgrWJF7T7s3h8ADNX1uR933Sy
IP26JJfikFGtSbhTPQNgMhspQ7H0+mHaGyQxiPWDklXYuEnBCF+Gt9yKYHkBzxjR
00/8KWPJeY5P17T4JrsrT2o2bdQIUzu6YjtfCZfIyf88t+E/6bRMHd+t753AgWvj
Lz9NnqlxelEK
=aY/e
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: