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

Bug#1044275: marked as done (coq-hierarchy-builder: Fails to build source after successful build)

Your message dated Sat, 23 Dec 2023 11:19:28 +0000
with message-id <E1rH02S-002Q39-1U@fasolo.debian.org>
and subject line Bug#1044275: fixed in coq-hierarchy-builder 1.6.0-1
has caused the Debian Bug report #1044275,
regarding coq-hierarchy-builder: 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.)


-- 
1044275: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1044275
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Source: coq-hierarchy-builder
Version: 1.4.0-6
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-hierarchy-builder
> dpkg-buildpackage: info: source version 1.4.0-6
> 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 *.hb *.hb.old
> 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
> rm -f 
> 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-hierarchy-builder using existing ./coq-hierarchy-builder_1.4.0.orig.tar.gz
> dpkg-source: info: using patch list from debian/patches/series
> dpkg-source: warning: file coq-hierarchy-builder-1.4.0/good_join.dot has no final newline (either original or modified version)
> dpkg-source: error: cannot represent change to hb.cmi: binary file contents changed
> dpkg-source: error: add hb.cmi in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to hb.cmo: binary file contents changed
> dpkg-source: error: add hb.cmo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: file coq-hierarchy-builder-1.4.0/hierarchy_5.dot has no final newline (either original or modified version)
> dpkg-source: warning: file coq-hierarchy-builder-1.4.0/missing_join.dot has no final newline (either original or modified version)
> dpkg-source: warning: file coq-hierarchy-builder-1.4.0/readme.dot has no final newline (either original or modified version)
> 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-hierarchy-builder_1.4.0-6_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-hierarchy-builder
Source-Version: 1.6.0-1
Done: Julien Puydt <jpuydt@debian.org>

We believe that the bug you reported is fixed in the latest version of
coq-hierarchy-builder, 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 1044275@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-hierarchy-builder 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:58:58 +0100
Source: coq-hierarchy-builder
Architecture: source
Version: 1.6.0-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Closes: 1044275
Changes:
 coq-hierarchy-builder (1.6.0-1) unstable; urgency=medium
 .
   [ Debian Janitor ]
   * debian/copyright: use spaces rather than tabs to start continuation lines.
 .
   [ Julien Puydt ]
   * Fix d/rules clean target (Closes: #1044275).
   * New upstream release.
   * Drop all patches.
Checksums-Sha1:
 41c8f59936126373f214d5e51442048496ff9cc5 2225 coq-hierarchy-builder_1.6.0-1.dsc
 16339cebe64b37a98e60db99261d0f29a2ccd3e4 202232 coq-hierarchy-builder_1.6.0.orig.tar.gz
 d82f833a10d00dca7f1b177e2c47f341142eb7e1 3420 coq-hierarchy-builder_1.6.0-1.debian.tar.xz
 ac244ae3b4d048f2594f4095b9fa09e208d07244 8419 coq-hierarchy-builder_1.6.0-1_source.buildinfo
Checksums-Sha256:
 1ea62dba88ebf9907e5565bf7e34862728d5db0489765b14aabac8c0dec4cd7f 2225 coq-hierarchy-builder_1.6.0-1.dsc
 18904a8bcd945adbf083bfc5af3bd98afa182d950253fba8733b638913738d22 202232 coq-hierarchy-builder_1.6.0.orig.tar.gz
 0a0df2e54ed3f0ceff913416daa0bc3ba5f14e99b42f411301da5c7f68b4fad4 3420 coq-hierarchy-builder_1.6.0-1.debian.tar.xz
 188d8cc7dc9ae08b304e34fd477ced8b63a72684f58c6461b35fc108582588f9 8419 coq-hierarchy-builder_1.6.0-1_source.buildinfo
Files:
 a7c9f34a9fca3630f3b4b4d23ec0b7bd 2225 ocaml optional coq-hierarchy-builder_1.6.0-1.dsc
 cf7c99cfa85c6efbeb69a232fd1012b7 202232 ocaml optional coq-hierarchy-builder_1.6.0.orig.tar.gz
 fe0a85877e84d5ffe15d693ec267e97e 3420 ocaml optional coq-hierarchy-builder_1.6.0-1.debian.tar.xz
 0d8494d4afdd91a17ec4276f02dc6683 8419 ocaml optional coq-hierarchy-builder_1.6.0-1_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWEYNUSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVREWIQAKewtzAizKFi416rTL1+JeH48eJXz6lx
2GNlfy1i5Tglhk0dnx/D1xCRldQwNS1r5Jg8A3LehcKGJZAq0Q2AQVOyjVaJC065
82duHZaVtI3UfgA4iYUVUXbO08ysL5qwX6+1a0ALaH4MOf+HDSgBDt6gCqRN2uak
fm2Oi464QOiVJsEPgtvaYKoDCS4d6WusSazwilmgGtqf4LIMglaK9MoWJiWNWhkW
0eBdrdvxKALgAkuTz8Jw6eFlZ4B3bMxu05GKGVTj18IWgT89XF9ZFBq2JvQJeDnn
ZtMm7SdhEl2iHOUPXsPxwIHmQxM4KKSguKdFQ40yMrZ5Hm9GwZ34R6JegDor7DRv
ewa1B8fwQAgQwkiR6YkxbuvnOB3cp9iYmzDbzXInc1tDH1RlFJb44ABY5SMd2WYo
cSFLejjOIfUBUOT4+j+yiHZ/rwyyvzs/ICC9EJwCuJU9MF+uBTxfEwwKiijbJv67
5MHmoCidSEJOVCYkpXQxWzbyMGLajDlufru91VzMMNKCuzyEx9dU3+PcVtURrP1E
Q48Zd/tZ5tVlOgZyGHK/5bhzaQUt7/0JPb/LY3YhJfmeiGM4EFiskV41Uv9c0S3x
lS9s+q6S806GAn/0lhAYW9zN7k/OiciHOLIs+r6ho5o9VyQNMh7Vv5XDDeP1Mebg
sVHbK35BPfoL
=BtyS
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: