Your message dated Wed, 29 Jul 2026 11:20:52 +0000
with message-id <[email protected]>
and subject line Bug#1045076: fixed in coq-interval 4.11.4-2
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 [email protected]
immediately.)
--
1045076: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1045076
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Source: coq-interval
Version: 4.8.0-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 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 <[email protected]>
> 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.11.4-2
Done: Julien Puydt <[email protected]>
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 [email protected],
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Julien Puydt <[email protected]> (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 [email protected])
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Wed, 29 Jul 2026 09:13:11 +0200
Source: coq-interval
Binary: libcoq-interval
Architecture: source amd64
Version: 4.11.4-2
Distribution: unstable
Urgency: medium
Maintainer: Julien Puydt <[email protected]>
Changed-By: Julien Puydt <[email protected]>
Description:
libcoq-interval - interval arithmetic for Coq
Closes: 1045076
Changes:
coq-interval (4.11.4-2) unstable; urgency=medium
.
* Fix compilation with recent Coq/Rocq.
* Fix source build after build (Closes: #1045076).
Checksums-Sha1:
b62a8c9e2910aa72a5c0cd6d6c2ed8fc1c6d9012 2213 coq-interval_4.11.4-2.dsc
8bf2b4b79c93006fea48563bd2483be932cceb26 346599 coq-interval_4.11.4.orig.tar.gz
fd0a15b3cb832fc01c3aeea93ee5c80c736de8b6 10368
coq-interval_4.11.4-2.debian.tar.xz
8a0d6664c5acdde70062a326777de74761594d49 7679
coq-interval_4.11.4-2_amd64.buildinfo
3396d3099d4ad7bc55a5c5c108a48d876f9ce55b 6448212
libcoq-interval_4.11.4-2_amd64.deb
Checksums-Sha256:
bb7fc4bd251a1464d22136959d570380e33af35c3642598c02465f0f077fadbe 2213
coq-interval_4.11.4-2.dsc
f2e0c6ee1bd781db896d032a6e5dbac5b19ee1f8b0ef364b4d272be9c921d66c 346599
coq-interval_4.11.4.orig.tar.gz
a8acd01947ae08be9e9161da2e228337833d7b2cf3d651ea58c5583e5ef5a1f7 10368
coq-interval_4.11.4-2.debian.tar.xz
75d262d1c3f5a17e84a8a11e09cb0d6c60a7cadc11e560e85a03ee86e2d068c2 7679
coq-interval_4.11.4-2_amd64.buildinfo
fbcf5e0b160c67afd1c0d2f6d8fc025ff75e8dba684f5e6b138e431fbfb2f1a8 6448212
libcoq-interval_4.11.4-2_amd64.deb
Files:
da1f6761c60cf62b802eed869f155cdc 2213 ocaml optional coq-interval_4.11.4-2.dsc
62fb47fa58c6ce854ea3bf9534a9b648 346599 ocaml optional
coq-interval_4.11.4.orig.tar.gz
90f55917b7f0fd228eb55ac323ee3681 10368 ocaml optional
coq-interval_4.11.4-2.debian.tar.xz
2cc998751cac3028c61f00975b0e466e 7679 ocaml optional
coq-interval_4.11.4-2_amd64.buildinfo
268bd1196b477ff97c9664a3bffe4d65 6448212 ocaml optional
libcoq-interval_4.11.4-2_amd64.deb
-----BEGIN PGP SIGNATURE-----
iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpp3ZkZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUdoGD/45KBJ2chptspVAMlJ5yWFp
Gaczqe6l71I09DmHE/CVjlH4icjqDGljzxJCoueUgqrSyRcvvnV3BKY1mv5iX5Mv
17/qaEKQ7ryPCR9sENuTKDT+m9CIVxZ7lTuCKGpOwsK65Ae8mLztxAO6eNBgv9IU
RCE9VvX6YSg9RnBY4zaAxVNR75hNcBBrOceCu7SkBtM6OjyV8hFbwIMLYIYFm4XD
DWZ/63/511wueGw7hfSQafHGR+ZvuaDcKJihgAKN8BO6R4Kg61nRDcHmVS7wG3A4
uTB3liWCi5LLwgDiFXNqeN02S8O4X5Q8UecvrOobAxHddU+FFGWCj2ZJkuP+Wauz
gC4+PWQ4PVyPoHMyL03dxFtRpGu5winL1Zv7MHEnzRiRgYMojn5LQcw+CYev19GT
O7NbQROFbKpWiT6Eo+5EsuNUdL6hfNUXrSShB/qxmeh7HlFrhVXO4/APYIc9meyf
UAdAhaQUPn+ZAxJ1ycaQ6sl1ixGwJ/+MPLYz1UVWLhqWco5vGUqhniz8TofAczI4
A/J2cDD1agc1huzviPzwSqKM72zfmOIaA24N0uskzyFbc5uZ6lH7BZMmhx42ACBV
dJqK14xsXRCiVhi/PTQhqKWkeaDe56TtQGFC45Nghgns3b94FYhtzYnoHlMWfPFR
C+2r2wGO6YMLjGOJKs0YDQ==
=4aqE
-----END PGP SIGNATURE-----
pgpxoSpTEDNPA.pgp
Description: PGP signature
--- End Message ---
