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

Bug#1047108: marked as done (mathcomp-algebra-tactics: Fails to build source after successful build)

Your message dated Tue, 26 Dec 2023 11:34:22 +0000
with message-id <E1rI5hW-003M2D-Cv@fasolo.debian.org>
and subject line Bug#1047108: fixed in mathcomp-algebra-tactics 1.2.2-1
has caused the Debian Bug report #1047108,
regarding mathcomp-algebra-tactics: 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.)


-- 
1047108: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1047108
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Source: mathcomp-algebra-tactics
Version: 1.1.1-2
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 mathcomp-algebra-tactics
> dpkg-buildpackage: info: source version 1.1.1-2
> 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_auto_clean
> 	make -j8 distclean
> make[1]: Entering directory '/<<PKGBUILDDIR>>'
> make[2]: Entering directory '/<<PKGBUILDDIR>>'
> make[2]: warning: jobserver unavailable: using -j1.  Add '+' to parent make rule.
> CLEAN
> CLEAN *.aux *.timing
> make[2]: Leaving directory '/<<PKGBUILDDIR>>'
> make[2]: Entering directory '/<<PKGBUILDDIR>>'
> make[2]: warning: jobserver unavailable: using -j1.  Add '+' to parent make rule.
> CLEAN
> CLEAN *.aux *.timing
> make[2]: Leaving directory '/<<PKGBUILDDIR>>'
> rm -f Makefile.coq Makefile.coq.conf
> rm -f Makefile.test-suite.coq Makefile.test-suite.coq.conf
> 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 mathcomp-algebra-tactics using existing ./mathcomp-algebra-tactics_1.1.1.orig.tar.gz
> 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: 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/mathcomp-algebra-tactics_1.1.1-2_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: mathcomp-algebra-tactics
Source-Version: 1.2.2-1
Done: Julien Puydt <jpuydt@debian.org>

We believe that the bug you reported is fixed in the latest version of
mathcomp-algebra-tactics, 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 1047108@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 mathcomp-algebra-tactics 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: Fri, 22 Dec 2023 11:34:14 +0100
Source: mathcomp-algebra-tactics
Architecture: source
Version: 1.2.2-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Closes: 1047108
Changes:
 mathcomp-algebra-tactics (1.2.2-1) unstable; urgency=medium
 .
   * Fix d/rules clean target (Closes: #1047108).
   * New upstream release.
Checksums-Sha1:
 b80c5f629b3af8526132f3ca1972d783971627be 2282 mathcomp-algebra-tactics_1.2.2-1.dsc
 35a32a7f578ca008370c535e0ede4c2879a24c09 58279 mathcomp-algebra-tactics_1.2.2.orig.tar.gz
 cf65e9044340d89257e5bc03580c6aa0268a73ef 8852 mathcomp-algebra-tactics_1.2.2-1.debian.tar.xz
 159e8bc0ade7be7db0987d3aae6cf06c4b8e80ab 8611 mathcomp-algebra-tactics_1.2.2-1_source.buildinfo
Checksums-Sha256:
 b189f98d73308a7cae015ddccf400ecdcf85011c90bc49e111481308d57c3319 2282 mathcomp-algebra-tactics_1.2.2-1.dsc
 e2c5b2f5ed9dec2db3ac436ebed9e271b2dd760fe5372c57e06fc0619e97a2e4 58279 mathcomp-algebra-tactics_1.2.2.orig.tar.gz
 f85de352c1b072c0824452fc01172a03b43390b199078a1a453ffa17b68c651f 8852 mathcomp-algebra-tactics_1.2.2-1.debian.tar.xz
 8963589dd52ded0aeac0922e3b6fe0ef48507fc09950e7df9b22fbd6b188e958 8611 mathcomp-algebra-tactics_1.2.2-1_source.buildinfo
Files:
 ab3c05677e27c004873c0f369cc99321 2282 ocaml optional mathcomp-algebra-tactics_1.2.2-1.dsc
 2276ad1d3ca88a784bad053c5259c1ff 58279 ocaml optional mathcomp-algebra-tactics_1.2.2.orig.tar.gz
 b13a6dfc142678d3290cade8d7bfaab3 8852 ocaml optional mathcomp-algebra-tactics_1.2.2-1.debian.tar.xz
 6a8088e43b8470d6402af6767ec92a2d 8611 ocaml optional mathcomp-algebra-tactics_1.2.2-1_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWFZkISHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRG2EP/1VzWL6sJmITWXbuD21n7Z2J7+VpgTVk
8doG/8yf8pC+A9AEWS0FL+RkVZS1CDDkhHFT/PYR9HFLfLX9drv4rKRJdK5uKXnf
LefhSJEn14Lb3QMNBjuY22n83e33v723qlkxXpKM6SjaZGgJekPl7AX/t1lv5Qmc
Shq0iAmtucY4QZt5KYxfYUrAWhdizWSoNzIxl8b02uCsoqAKUxm6B2HaU/LdHZhn
l9cgJv0a8qXIHmyTwN4PFKXL7GX752I3LyrrAEsEFIVcPY3Pmj5pHmrw+cA+AdVL
a4gggLdK4OFAsYV6qQNfw1QuDRzry+Uz6LgEj9DDqmViWsfu7xWGKtuSuP2J7+tc
7oU86UW0ZPpxafIq4RuG09KmwLCC9Ebjo2/C9vErOZ4fAS+FQT1snhGzvJcMFN6b
/wPcvG20GHT01Yg2Eim705sDgPZ3cVtNQHN6bY9vIKMp6lIjgkrpPuz1IvsBHIAY
z4LgCqmjp2fyqTIxzHhHq21Qujuag9GqdtDt1meiaWTNLrLVlSI6Es1BrASOiS41
f+Bkd4L5XuiBCKDsAz7RjrYbxW49T43Nd2JmZKHUlilSBqdj9PPHR+4MMdya27Cp
3D/D4Wev04PwzbBHMSPyUiMdnt0Q0hfDzZbRDYiVmxQ+RoATHJHQOCRz2dbcOaqX
ypKrZQw7rcNm
=JcJM
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: