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

Bug#1046759: marked as done (mathcomp-real-closed: Fails to build source after successful build)

Your message dated Tue, 26 Dec 2023 11:34:42 +0000
with message-id <E1rI5hq-003M5m-0r@fasolo.debian.org>
and subject line Bug#1046759: fixed in mathcomp-real-closed 2.0.0-1
has caused the Debian Bug report #1046759,
regarding mathcomp-real-closed: 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.)


-- 
1046759: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1046759
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Source: mathcomp-real-closed
Version: 1.1.4-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-real-closed
> dpkg-buildpackage: info: source version 1.1.4-2
> dpkg-buildpackage: info: source distribution unstable
> dpkg-buildpackage: info: source changed by Stéphane Glondu <glondu@debian.org>
>  dpkg-source --before-build .
>  debian/rules clean
> dh clean --with coq
>    debian/rules override_dh_auto_clean
> make[1]: Entering directory '/<<PKGBUILDDIR>>'
> make clean
> make[2]: Entering directory '/<<PKGBUILDDIR>>'
> coq_makefile -f _CoqProject -o Makefile.coq
> make --no-print-directory -f Makefile.coq clean
> CLEAN
> make[2]: Leaving directory '/<<PKGBUILDDIR>>'
> rm -f Makefile.coq Makefile.coq.conf
> make[1]: Leaving directory '/<<PKGBUILDDIR>>'
>    dh_clean
>  dpkg-source -b .
> dpkg-source: info: using source format '3.0 (quilt)'
> dpkg-source: info: building mathcomp-real-closed using existing ./mathcomp-real-closed_1.1.4.orig.tar.gz
> dpkg-source: error: cannot represent change to _build/install/default/lib/coq-mathcomp-real-closed/dune-package:
> dpkg-source: error:   new version is symlink to ../../../../default/coq-mathcomp-real-closed.dune-package
> dpkg-source: error:   old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/coq-mathcomp-real-closed/opam:
> dpkg-source: error:   new version is symlink to ../../../../default/coq-mathcomp-real-closed.opam
> dpkg-source: error:   old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/coq-mathcomp-real-closed/META:
> dpkg-source: error:   new version is symlink to ../../../../default/META.coq-mathcomp-real-closed
> dpkg-source: error:   old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/doc/coq-mathcomp-real-closed/README.md:
> dpkg-source: error:   new version is symlink to ../../../../default/README.md
> dpkg-source: error:   old version is nonexistent
> dpkg-source: error: cannot represent change to _build/.db: binary file contents changed
> dpkg-source: error: add _build/.db in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to _build/.digest-db: binary file contents changed
> dpkg-source: error: add _build/.digest-db in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: file mathcomp-real-closed-1.1.4/_build/.filesystem-clock has no final newline (either original or modified version)
> dpkg-source: warning: file mathcomp-real-closed-1.1.4/_build/.lock has no final newline (either original or modified version)
> dpkg-source: warning: file mathcomp-real-closed-1.1.4/_build/default/.dune/configurator.v2 has no final newline (either original or modified version)
> dpkg-source: warning: newly created empty file '_build/default/.mathcomp.theory.d' will not be represented in diff
> dpkg-source: warning: newly created empty file '_build/default/META.coq-mathcomp-real-closed' will not be represented in diff
> dpkg-source: warning: executable mode 0555 of '_build/default/debian/rules' will not be represented in diff
> dpkg-source: warning: file mathcomp-real-closed-1.1.4/_build/default/theories/all_real_closed.v has no final newline (either original or modified version)
> dpkg-source: error: cannot represent change to _build/default/theories/all_real_closed.vo: binary file contents changed
> dpkg-source: error: add _build/default/theories/all_real_closed.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 '_build/default/theories/all_real_closed.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file '_build/default/theories/all_real_closed.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to _build/default/theories/cauchyreals.vo: binary file contents changed
> dpkg-source: error: add _build/default/theories/cauchyreals.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 '_build/default/theories/cauchyreals.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file '_build/default/theories/cauchyreals.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to _build/default/theories/complex.vo: binary file contents changed
> dpkg-source: error: add _build/default/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 '_build/default/theories/complex.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file '_build/default/theories/complex.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to _build/default/theories/mxtens.vo: binary file contents changed
> dpkg-source: error: add _build/default/theories/mxtens.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 '_build/default/theories/mxtens.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file '_build/default/theories/mxtens.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to _build/default/theories/ordered_qelim.vo: binary file contents changed
> dpkg-source: error: add _build/default/theories/ordered_qelim.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 '_build/default/theories/ordered_qelim.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file '_build/default/theories/ordered_qelim.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to _build/default/theories/polyorder.vo: binary file contents changed
> dpkg-source: error: add _build/default/theories/polyorder.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 '_build/default/theories/polyorder.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file '_build/default/theories/polyorder.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to _build/default/theories/polyrcf.vo: binary file contents changed
> dpkg-source: error: add _build/default/theories/polyrcf.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 '_build/default/theories/polyrcf.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file '_build/default/theories/polyrcf.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to _build/default/theories/qe_rcf.vo: binary file contents changed
> dpkg-source: error: add _build/default/theories/qe_rcf.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 '_build/default/theories/qe_rcf.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file '_build/default/theories/qe_rcf.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to _build/default/theories/qe_rcf_th.vo: binary file contents changed
> dpkg-source: error: add _build/default/theories/qe_rcf_th.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 '_build/default/theories/qe_rcf_th.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file '_build/default/theories/qe_rcf_th.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to _build/default/theories/realalg.vo: binary file contents changed
> dpkg-source: error: add _build/default/theories/realalg.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 '_build/default/theories/realalg.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file '_build/default/theories/realalg.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/mathcomp-real-closed_1.1.4-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-real-closed
Source-Version: 2.0.0-1
Done: Julien Puydt <jpuydt@debian.org>

We believe that the bug you reported is fixed in the latest version of
mathcomp-real-closed, 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 1046759@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-real-closed 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:37:47 +0100
Source: mathcomp-real-closed
Architecture: source
Version: 2.0.0-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Closes: 1046759
Changes:
 mathcomp-real-closed (2.0.0-1) unstable; urgency=medium
 .
   * Fix d/rules clean target (Closes: #1046759).
   * New upstream release.
Checksums-Sha1:
 b2b54585d2800c578e7da157a202d2f7f8801c76 2264 mathcomp-real-closed_2.0.0-1.dsc
 c47be15ca50fd6076f0e3883a4902c72432a1ebd 119466 mathcomp-real-closed_2.0.0.orig.tar.gz
 8ea1eb6ad9f3d837d88f6f96ed3cf65513c347a4 8868 mathcomp-real-closed_2.0.0-1.debian.tar.xz
 6f1ac09adca80a13aecf4af174505d9b3bc83fc7 8693 mathcomp-real-closed_2.0.0-1_source.buildinfo
Checksums-Sha256:
 6eda50843f7041ca886afea00dfea17eadf4978fd6df488bde20fd6a89904b4e 2264 mathcomp-real-closed_2.0.0-1.dsc
 3ca62553ce212f2d20ff13afc040121c146e7b31db2534c36b91d7bcdd6f8d53 119466 mathcomp-real-closed_2.0.0.orig.tar.gz
 0cc501b26781db004ec5c62418d0735dc9a4ab58dc9e2f75623929c4a473c16a 8868 mathcomp-real-closed_2.0.0-1.debian.tar.xz
 3434325452817cb55512b166331bdbadf56f83b6a0840b3ec6731b79d24a93a4 8693 mathcomp-real-closed_2.0.0-1_source.buildinfo
Files:
 b8b51acec957ea8c5416f36b9f7d02cb 2264 ocaml optional mathcomp-real-closed_2.0.0-1.dsc
 102aff403e07f0c2ce25fcbbc5f53f64 119466 ocaml optional mathcomp-real-closed_2.0.0.orig.tar.gz
 771064d0dc31c26520a566fcdae020e8 8868 ocaml optional mathcomp-real-closed_2.0.0-1.debian.tar.xz
 41f78070d91f55591440e7dbfb02f5b6 8693 ocaml optional mathcomp-real-closed_2.0.0-1_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWFZxsSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRNxsP/2JTphMao29nMScq/YHnrjHBPboxHpRd
BDC8BBEDgdVTdB7cwuGgYtFUNzYwJ5vS3cvcwlLsZVSDek9V0sLiOWixTP8P+QHZ
CrtjHkXCUHuhbGPGFpmZ4jKDYl2U/A3DyDZPUvK6eJrUTWjfgfOcpk5FGLW7SUoI
35BiMjC2j7bunsvtNs5IXLN6zgHZ1RS1x/vWEU6PUcxv1BCDiFx929dTl5NICt1J
MJ6Bh7Qwb/3gawSpxJymnphgY0Lc0YmKSUZ136Ik3IP9VNBgnuouNg8cyjGy1Sgv
JuBmvdFA2skA9Y3/XANYmacJDvV02Q4cmPMW3jA+D4UnJel4ApVrDwLr6gowdDDH
iyJ9qOS3fvX97XhZmLLJTaaqzszUxS/6RiCHo9pMO5trj9UENnotZ788oCUmIE+4
TSP+xrSAN/UtdSFRqRWhjP4Z5c8EYtojtZ0AVxeR3OY3oERZwXkNrgeMjCAO/tzK
5kPebKQw3x4blZKSsSSCbzhNiM1v2mfQyziqrdD7+JMOkHYHgR/8nQKBKzBTw4cr
LiceV99uSNFypoHG/++XycsCsykUaOeLKGXI451RgjGglKOut6OG6aKnr4ndV780
RA7j/CPjGMIo4ncplRqSfKnVDsSVGK/6FEmbxJ9I3OlgZWlnHI9cMC0PzRGOXyiB
EEDhJ1LJePIu
=V/QI
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: