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

Bug#1044361: marked as done (flocq: Fails to build source after successful build)

Your message dated Fri, 22 Dec 2023 10:36:51 +0000
with message-id <E1rGctf-00DSvj-1v@fasolo.debian.org>
and subject line Bug#1044361: fixed in flocq 4.1.3-1
has caused the Debian Bug report #1044361,
regarding flocq: 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.)


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

--- End Message ---
--- Begin Message --- 
Source: flocq
Source-Version: 4.1.3-1
Done: Julien Puydt <jpuydt@debian.org>

We believe that the bug you reported is fixed in the latest version of
flocq, 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 1044361@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 flocq 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: Thu, 21 Dec 2023 16:36:41 +0100
Source: flocq
Architecture: source
Version: 4.1.3-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Closes: 1044361
Changes:
 flocq (4.1.3-1) unstable; urgency=medium
 .
   * Fix d/rules clean target (Closes: #1044361).
   * New upstream release.
Checksums-Sha1:
 efefed02feec2d58ce8986e6518bb50a0d96f021 2021 flocq_4.1.3-1.dsc
 d95643984f1568acdbc0f88bfd21bb96dc22f66a 333474 flocq_4.1.3.orig.tar.bz2
 3842b59b234e2a5b1937033f3fbde59d1bdb601f 1764 flocq_4.1.3-1.debian.tar.xz
 c7f10cbdb74f84d2d590bf819f5a9c41c8955b21 7816 flocq_4.1.3-1_source.buildinfo
Checksums-Sha256:
 f21f3060bcf41538cd764576aae633daf63bdbd0d8c90d6cf53614d680ee8345 2021 flocq_4.1.3-1.dsc
 e962ba6a7b9ec6596061f0d0918c345f0b3390b24b6ebc56558b8e62a69162f2 333474 flocq_4.1.3.orig.tar.bz2
 ad3ca2550e2d35a2d0391e7000511ebe814676a6410ebf94a992cab48fcfd122 1764 flocq_4.1.3-1.debian.tar.xz
 7c149f3023184781e8965f1d68b37ae93b635d60c1351cf2f7ae17560af47005 7816 flocq_4.1.3-1_source.buildinfo
Files:
 464e3006e9b71b183558e4fd7dc91680 2021 ocaml optional flocq_4.1.3-1.dsc
 099d46c1193adcd80c609d6ffbc34c44 333474 ocaml optional flocq_4.1.3.orig.tar.bz2
 a27cd64534ecb13934f755c6643529ba 1764 ocaml optional flocq_4.1.3-1.debian.tar.xz
 3874f3e4729ff0488d139e34f5039325 7816 ocaml optional flocq_4.1.3-1_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWEW54SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRKaMQAJ6M6giekuVkuaeH5U6xLudHC1fR1O7U
6IHNZ9AwBaeolXpZu+RUmOtVycDW5BAR1yZD/oabK9bPZIvDz1tiKBHjyU/ZbZQs
8y/6mDlYkICSdKR4WJoivMGxmdzXYtraCnIxGvdcXLrf6zAumsFaQ0U1dxxzp55t
nd3q7+9mcYX9EnOBOe1xKzmwrrrsvyHphlMJVbHW4Khd6pgTxqhID4KTTUnNaQ8M
1zhFBG1x1FbPnt76lGFng9P1zbAoB+By+K0GPe07ofblKvJr64m4JuUVory1qfCS
zmJIpbo5+UA10+xW63vnO+KzHO/9nXz7W0/He/UGUM9AcaTsMVxVn/evmy/xqq8u
LmynOeCV8BL178WY4MBHyd+gUbliVmwX+HVDJlCEmqym8G6dbPKzgghBLBjwNbKE
rzGCABEJLyke8njjzm3sv+qcwfh2l3KbjfiMtxicGGhXsDl49tvvGZXvdCOmJNT+
jBMs8O70yibNJ9PNy9RHAov9GJb+w5RpwhCY5gtUmfynws4NQ+ZT+hr3gDCTzDaE
ISjVJ8j5KljxmnMF5Q/j1rFgAGlBMf8uJmQWL3ywjhjrJHSOGQaFqnCVuvzWAxWr
AVohWygaVYtaXImwhzf+f6mHsEsgpk/E9M4x4M2wicPH83sOxPNIxMONZgBBLC+n
W9xsSIlvnhvK
=AXHO
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: