Bug#1044385: coquelicot: Fails to build source after successful build
Source: coquelicot
Version: 3.3.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 coquelicot
> dpkg-buildpackage: info: source version 3.3.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,ocaml
> dh_autoreconf_clean
> dh_ocamlclean
> dh_clean
> dpkg-source -b .
> dpkg-source: info: using source format '3.0 (quilt)'
> dpkg-source: info: building coquelicot using existing ./coquelicot_3.3.1.orig.tar.gz
> 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 theories/AutoDerive.vo: binary file contents changed
> dpkg-source: error: add theories/AutoDerive.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 'theories/AutoDerive.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/AutoDerive.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Compactness.vo: binary file contents changed
> dpkg-source: error: add theories/Compactness.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 'theories/Compactness.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Compactness.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Complex.vo: binary file contents changed
> dpkg-source: error: add theories/Complex.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 'theories/Complex.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Complex.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Continuity.vo: binary file contents changed
> dpkg-source: error: add theories/Continuity.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 'theories/Continuity.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Continuity.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Coquelicot.vo: binary file contents changed
> dpkg-source: error: add theories/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 'theories/Coquelicot.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Coquelicot.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Derive.vo: binary file contents changed
> dpkg-source: error: add theories/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 'theories/Derive.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Derive.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Derive_2d.vo: binary file contents changed
> dpkg-source: error: add theories/Derive_2d.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 'theories/Derive_2d.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Derive_2d.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/ElemFct.vo: binary file contents changed
> dpkg-source: error: add theories/ElemFct.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 'theories/ElemFct.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/ElemFct.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Equiv.vo: binary file contents changed
> dpkg-source: error: add theories/Equiv.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 'theories/Equiv.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Equiv.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Hierarchy.vo: binary file contents changed
> dpkg-source: error: add theories/Hierarchy.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 'theories/Hierarchy.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Hierarchy.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Iter.vo: binary file contents changed
> dpkg-source: error: add theories/Iter.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 'theories/Iter.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Iter.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/KHInt.vo: binary file contents changed
> dpkg-source: error: add theories/KHInt.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 'theories/KHInt.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/KHInt.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Lim_seq.vo: binary file contents changed
> dpkg-source: error: add theories/Lim_seq.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 'theories/Lim_seq.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Lim_seq.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Lub.vo: binary file contents changed
> dpkg-source: error: add theories/Lub.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 'theories/Lub.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Lub.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Markov.vo: binary file contents changed
> dpkg-source: error: add theories/Markov.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 'theories/Markov.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Markov.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/PSeries.vo: binary file contents changed
> dpkg-source: error: add theories/PSeries.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 'theories/PSeries.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/PSeries.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/RInt.vo: binary file contents changed
> dpkg-source: error: add theories/RInt.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 'theories/RInt.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/RInt.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/RInt_analysis.vo: binary file contents changed
> dpkg-source: error: add theories/RInt_analysis.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 'theories/RInt_analysis.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/RInt_analysis.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/RInt_gen.vo: binary file contents changed
> dpkg-source: error: add theories/RInt_gen.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 'theories/RInt_gen.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/RInt_gen.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Rbar.vo: binary file contents changed
> dpkg-source: error: add theories/Rbar.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 'theories/Rbar.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Rbar.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Rcomplements.vo: binary file contents changed
> dpkg-source: error: add theories/Rcomplements.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 'theories/Rcomplements.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Rcomplements.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/SF_seq.vo: binary file contents changed
> dpkg-source: error: add theories/SF_seq.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 'theories/SF_seq.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/SF_seq.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Seq_fct.vo: binary file contents changed
> dpkg-source: error: add theories/Seq_fct.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 'theories/Seq_fct.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Seq_fct.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/Series.vo: binary file contents changed
> dpkg-source: error: add theories/Series.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 'theories/Series.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Series.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/coquelicot_3.3.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: