Bug#1044361: flocq: Fails to build source after successful build
Source: flocq
Version: 4.1.1-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 flocq
> dpkg-buildpackage: info: source version 4.1.1-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
> dh_autoreconf_clean
> dh_clean
> dpkg-source -b .
> dpkg-source: info: using source format '3.0 (quilt)'
> dpkg-source: info: building flocq using existing ./flocq_4.1.1.orig.tar.bz2
> 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: error: cannot represent change to .nra.cache: binary file contents changed
> dpkg-source: error: add .nra.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/Calc/Bracket.vo: binary file contents changed
> dpkg-source: error: add src/Calc/Bracket.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/Calc/Bracket.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Calc/Bracket.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Calc/Div.vo: binary file contents changed
> dpkg-source: error: add src/Calc/Div.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/Calc/Div.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Calc/Div.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Calc/Operations.vo: binary file contents changed
> dpkg-source: error: add src/Calc/Operations.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/Calc/Operations.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Calc/Operations.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Calc/Plus.vo: binary file contents changed
> dpkg-source: error: add src/Calc/Plus.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/Calc/Plus.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Calc/Plus.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Calc/Round.vo: binary file contents changed
> dpkg-source: error: add src/Calc/Round.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/Calc/Round.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Calc/Round.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Calc/Sqrt.vo: binary file contents changed
> dpkg-source: error: add src/Calc/Sqrt.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/Calc/Sqrt.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Calc/Sqrt.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Core/Core.vo: binary file contents changed
> dpkg-source: error: add src/Core/Core.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/Core/Core.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Core/Core.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Core/Defs.vo: binary file contents changed
> dpkg-source: error: add src/Core/Defs.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/Core/Defs.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Core/Defs.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Core/Digits.vo: binary file contents changed
> dpkg-source: error: add src/Core/Digits.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/Core/Digits.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Core/Digits.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Core/FIX.vo: binary file contents changed
> dpkg-source: error: add src/Core/FIX.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/Core/FIX.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Core/FIX.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Core/FLT.vo: binary file contents changed
> dpkg-source: error: add src/Core/FLT.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/Core/FLT.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Core/FLT.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Core/FLX.vo: binary file contents changed
> dpkg-source: error: add src/Core/FLX.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/Core/FLX.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Core/FLX.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Core/FTZ.vo: binary file contents changed
> dpkg-source: error: add src/Core/FTZ.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/Core/FTZ.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Core/FTZ.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Core/Float_prop.vo: binary file contents changed
> dpkg-source: error: add src/Core/Float_prop.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/Core/Float_prop.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Core/Float_prop.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Core/Generic_fmt.vo: binary file contents changed
> dpkg-source: error: add src/Core/Generic_fmt.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/Core/Generic_fmt.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Core/Generic_fmt.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Core/Raux.vo: binary file contents changed
> dpkg-source: error: add src/Core/Raux.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/Core/Raux.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Core/Raux.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Core/Round_NE.vo: binary file contents changed
> dpkg-source: error: add src/Core/Round_NE.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/Core/Round_NE.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Core/Round_NE.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Core/Round_pred.vo: binary file contents changed
> dpkg-source: error: add src/Core/Round_pred.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/Core/Round_pred.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Core/Round_pred.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Core/Ulp.vo: binary file contents changed
> dpkg-source: error: add src/Core/Ulp.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/Core/Ulp.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Core/Ulp.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Core/Zaux.vo: binary file contents changed
> dpkg-source: error: add src/Core/Zaux.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/Core/Zaux.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Core/Zaux.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/IEEE754/Binary.vo: binary file contents changed
> dpkg-source: error: add src/IEEE754/Binary.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/IEEE754/Binary.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/IEEE754/Binary.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/IEEE754/BinarySingleNaN.vo: binary file contents changed
> dpkg-source: error: add src/IEEE754/BinarySingleNaN.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/IEEE754/BinarySingleNaN.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/IEEE754/BinarySingleNaN.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/IEEE754/Bits.vo: binary file contents changed
> dpkg-source: error: add src/IEEE754/Bits.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/IEEE754/Bits.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/IEEE754/Bits.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/IEEE754/Int63Compat.vo: binary file contents changed
> dpkg-source: error: add src/IEEE754/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/IEEE754/Int63Compat.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/IEEE754/Int63Compat.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/IEEE754/Int63Copy.vo: binary file contents changed
> dpkg-source: error: add src/IEEE754/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/IEEE754/Int63Copy.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/IEEE754/Int63Copy.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/IEEE754/PrimFloat.vo: binary file contents changed
> dpkg-source: error: add src/IEEE754/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/IEEE754/PrimFloat.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/IEEE754/PrimFloat.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Pff/Pff.vo: binary file contents changed
> dpkg-source: error: add src/Pff/Pff.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/Pff/Pff.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Pff/Pff.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Pff/Pff2Flocq.vo: binary file contents changed
> dpkg-source: error: add src/Pff/Pff2Flocq.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/Pff/Pff2Flocq.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Pff/Pff2Flocq.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Pff/Pff2FlocqAux.vo: binary file contents changed
> dpkg-source: error: add src/Pff/Pff2FlocqAux.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/Pff/Pff2FlocqAux.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Pff/Pff2FlocqAux.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Prop/Div_sqrt_error.vo: binary file contents changed
> dpkg-source: error: add src/Prop/Div_sqrt_error.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/Prop/Div_sqrt_error.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Prop/Div_sqrt_error.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Prop/Double_rounding.vo: binary file contents changed
> dpkg-source: error: add src/Prop/Double_rounding.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/Prop/Double_rounding.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Prop/Double_rounding.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Prop/Mult_error.vo: binary file contents changed
> dpkg-source: error: add src/Prop/Mult_error.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/Prop/Mult_error.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Prop/Mult_error.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Prop/Plus_error.vo: binary file contents changed
> dpkg-source: error: add src/Prop/Plus_error.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/Prop/Plus_error.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Prop/Plus_error.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Prop/Relative.vo: binary file contents changed
> dpkg-source: error: add src/Prop/Relative.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/Prop/Relative.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Prop/Relative.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Prop/Round_odd.vo: binary file contents changed
> dpkg-source: error: add src/Prop/Round_odd.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/Prop/Round_odd.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Prop/Round_odd.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Prop/Sterbenz.vo: binary file contents changed
> dpkg-source: error: add src/Prop/Sterbenz.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/Prop/Sterbenz.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Prop/Sterbenz.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/Version.vo: binary file contents changed
> dpkg-source: error: add src/Version.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/Version.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Version.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/flocq_4.1.1-1_unstable.log
If you reassign this bug to another package, please mark it as 'affects'-ing
this package. See https://www.debian.org/Bugs/server-control#affects
If you fail to reproduce this, please provide a build log and diff it with mine
so that we can identify if something relevant changed in the meantime.
Reply to: