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

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

Your message dated Fri, 22 Dec 2023 10:34:40 +0000
with message-id <E1rGcrY-00DSVo-5E@fasolo.debian.org>
and subject line Bug#1044477: fixed in coq-bignums 9.0.0+coq8.18-1
has caused the Debian Bug report #1044477,
regarding coq-bignums: 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.)


-- 
1044477: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1044477
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Source: coq-bignums
Version: 8.17.0-3
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-bignums
> dpkg-buildpackage: info: source version 8.17.0-3
> 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
>    debian/rules override_dh_auto_clean
> make[1]: Entering directory '/<<PKGBUILDDIR>>'
> make clean
> make[2]: Entering directory '/<<PKGBUILDDIR>>'
> make -f Makefile.coq Makefile
> make[3]: Entering directory '/<<PKGBUILDDIR>>'
> make[3]: Nothing to be done for 'Makefile'.
> make[3]: Leaving directory '/<<PKGBUILDDIR>>'
> make -f Makefile.coq clean
> make[3]: Entering directory '/<<PKGBUILDDIR>>'
> rm -f BigN/NMake_gen.v
> CLEAN
> make[3]: Leaving directory '/<<PKGBUILDDIR>>'
> rm -f Makefile.coq Makefile.coq.conf
> make[2]: Leaving directory '/<<PKGBUILDDIR>>'
> rm plugin/META.coq-bignums
> make[1]: Leaving directory '/<<PKGBUILDDIR>>'
>    dh_ocamlclean
>    dh_clean
>  dpkg-source -b .
> dpkg-source: info: using source format '3.0 (quilt)'
> dpkg-source: info: building coq-bignums using existing ./coq-bignums_8.17.0.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: error: cannot represent change to .nia.cache: binary file contents changed
> dpkg-source: error: add .nia.cache in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> 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-bignums_8.17.0-3_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-bignums
Source-Version: 9.0.0+coq8.18-1
Done: Julien Puydt <jpuydt@debian.org>

We believe that the bug you reported is fixed in the latest version of
coq-bignums, 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 1044477@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-bignums 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 15:21:31 +0100
Source: coq-bignums
Architecture: source
Version: 9.0.0+coq8.18-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Closes: 1044477
Changes:
 coq-bignums (9.0.0+coq8.18-1) unstable; urgency=medium
 .
   * Fix cleaning target (Closes: #1044477).
   * Make d/watch follow new upstreams.
   * New upstream release.
Checksums-Sha1:
 37146ae95d92ae4552cdbe8a5ee9aa7c9f8d841f 2146 coq-bignums_9.0.0+coq8.18-1.dsc
 5a2ad6feff5d7ae82891e723f2eaee7048a24f1e 116811 coq-bignums_9.0.0+coq8.18.orig.tar.gz
 7b43414d276a34aae59c54ffd79616fe8f9b4321 2044 coq-bignums_9.0.0+coq8.18-1.debian.tar.xz
 c4f7bf3484558fe700941d29f25cad62cf03a02b 7872 coq-bignums_9.0.0+coq8.18-1_source.buildinfo
Checksums-Sha256:
 98b132275771153eeff767e6570a55f717f9db78463fe23603d8dae06db2a44c 2146 coq-bignums_9.0.0+coq8.18-1.dsc
 63f4bcb57ebc7ac8d2b6e6ec5938f556b029529bbc03340d872f3c728fa175e3 116811 coq-bignums_9.0.0+coq8.18.orig.tar.gz
 3344a72cf542b381d6b49ee9bdddedd54341a1653e68ff13d0229192e74a8560 2044 coq-bignums_9.0.0+coq8.18-1.debian.tar.xz
 d3063dd7a8c9d43920afb48c22ae108d8ab76af1a8620f0b733065ce244904fd 7872 coq-bignums_9.0.0+coq8.18-1_source.buildinfo
Files:
 03c1b24705775f1bc69a4dc79c9c3bb1 2146 ocaml optional coq-bignums_9.0.0+coq8.18-1.dsc
 b89c4155bacceaa8ef4f7dddb787c182 116811 ocaml optional coq-bignums_9.0.0+coq8.18.orig.tar.gz
 82eee7fc382fa9e735d72e2c1c180bad 2044 ocaml optional coq-bignums_9.0.0+coq8.18-1.debian.tar.xz
 cde75c427a9a77c194b24d1c81b92d49 7872 ocaml optional coq-bignums_9.0.0+coq8.18-1_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWESgkSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRFXgP/3QFnK3PrbE6bdv/IbPSZPt8bWUXJkRb
X/N6MJ4gINl0qWoV5EJgPdpwusrjG80l/sQ3nTHOy94LO3l+o8jkIHMpAY0xoYq4
nN0VJN+wz31D8gWcgm16eNNOZWurgT/j+WIhAECGOZnqGsJbGjyJN+QMuqqBlv4k
el4q3cst8OdTNEbt+v+YqcJfn3rbsJZDP71twZMHL/pdLDdEHrgfIFvCpXA1bnOd
D5AlCHrdVHR9A9IM8ZPZEXdUaBc4Qm7NSpS5AzmAOOMarJ3+KgxJzzojSLjXt0rm
qJJDPI3Z0YUiG6wAvUnvzYZWicfoLn4/fl1FIGs2Ml84eqKHNocI0i0wLeXq5S+u
WLwonPRAWxNVNA/uAn/27HEO4BMqpCoCOi3xnwp54Lu2fkjut+8RXIQCJRNf3QTw
DA2mxlbDM7+eA5sinRDiCgOSg8P4iV8q1O9H1781On0/q741fN6SYDh/pQg5w9JC
9JRM6whPS8OE5m+Oks+8Ge+9rML5M/2A47Ay/ukocZkAzXtfwWQNuQ/IVAUbNViM
A8gssVl9jcirRMaTRmJpRWu2o5a8Ok+jufrZ+r45EeJpVcxjqbYJifDud3LSQWMl
uBr9gpshwWUuXYrHxZgVekj7H3BRTgze3KR5gE0tZTqITXDOw7ae7A19nQ3mOvcA
kNhqctIdiGbX
=u5Sf
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: