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

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

Your message dated Tue, 26 Dec 2023 11:34:02 +0000
with message-id <E1rI5hC-003LyX-3X@fasolo.debian.org>
and subject line Bug#1044466: fixed in coq-extructures 0.4.0-1
has caused the Debian Bug report #1044466,
regarding coq-extructures: 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.)


-- 
1044466: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1044466
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Source: coq-extructures
Version: 0.3.1-4
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-extructures
> dpkg-buildpackage: info: source version 0.3.1-4
> 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>>'
> Doesn't work as expected
> 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-extructures using existing ./coq-extructures_0.3.1.orig.tar.gz
> dpkg-source: error: cannot represent change to theories/ffun.vo: binary file contents changed
> dpkg-source: error: add theories/ffun.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 'theories/ffun.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/ffun.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/fmap.vo: binary file contents changed
> dpkg-source: error: add theories/fmap.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 'theories/fmap.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/fmap.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/fperm.vo: binary file contents changed
> dpkg-source: error: add theories/fperm.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 'theories/fperm.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/fperm.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/fset.vo: binary file contents changed
> dpkg-source: error: add theories/fset.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 'theories/fset.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/fset.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to theories/ord.vo: binary file contents changed
> dpkg-source: error: add theories/ord.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 'theories/ord.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/ord.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/coq-extructures_0.3.1-4_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-extructures
Source-Version: 0.4.0-1
Done: Julien Puydt <jpuydt@debian.org>

We believe that the bug you reported is fixed in the latest version of
coq-extructures, 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 1044466@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-extructures 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:31:46 +0100
Source: coq-extructures
Architecture: source
Version: 0.4.0-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Closes: 1044466
Changes:
 coq-extructures (0.4.0-1) unstable; urgency=medium
 .
   [ Debian Janitor ]
   * Set upstream metadata fields: Repository-Browse
 .
   [ Julien Puydt ]
   * Fix d/rules clean target (Closes: #1044466).
   * New upstream release.
Checksums-Sha1:
 8f1187689e739670617de236bba9dd6558165be8 2166 coq-extructures_0.4.0-1.dsc
 ba00c3e7984de42fb9c84ed206a8e25e0170e4b3 42179 coq-extructures_0.4.0.orig.tar.gz
 99a38662ba2716d41a1e7759a500ca9a262e6d59 2208 coq-extructures_0.4.0-1.debian.tar.xz
 f7bfb9608aa4cb4b2e0a49ed897be06da2eae663 8484 coq-extructures_0.4.0-1_source.buildinfo
Checksums-Sha256:
 5e467e8061da23597e454de9f3aad7af369c28ee135265c0387cdec225e93239 2166 coq-extructures_0.4.0-1.dsc
 c1896ed5bed50d3c43d4d973d819a29c579a2d8e01e1f6a84aeeb35a39577bc9 42179 coq-extructures_0.4.0.orig.tar.gz
 c2cb1f5dc082e8022b0e70b0b9185a1b22354a61eaf0e1635eabee5465c69752 2208 coq-extructures_0.4.0-1.debian.tar.xz
 647ed4e905c10b23b680a0b9ebf086c84648adbd4551e1c92e34bb58700fbb2f 8484 coq-extructures_0.4.0-1_source.buildinfo
Files:
 427b2fb0f6f926cd75df354c95d083dc 2166 ocaml optional coq-extructures_0.4.0-1.dsc
 d31c4523f3bf48ec76e65212f0888b70 42179 ocaml optional coq-extructures_0.4.0.orig.tar.gz
 801e8a45eb1a1cc561e461133c567475 2208 ocaml optional coq-extructures_0.4.0-1.debian.tar.xz
 576295b7d05b3c8db4561521db8a5117 8484 ocaml optional coq-extructures_0.4.0-1_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWFZa8SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRT9IP/RKk5RlquT2YN9YaRqDXEvZt5BpaRT3y
4sgk/T6P95p7C97H+U9xRFh/mOPl2bvS0ejCxq8MeK4RlI9PO+TbKjTPHeXViyhn
m7uVVKQSXJq7Ymh+Z9Gu83U3kNnzbrTdF+eOVIG1dZ10td+4Nx7DTKr6+t4nYsn7
qgDL5yPSmbo0XrWbTIpAwJLJliX6PrZRTs+MUbPUaQI7BxzdSBBG5Vunj3gdf+1q
TL1GWXNVZMCAXVTPUF+0hZfKSMtNwqgSPlEmfinxw9FOrwgYPXSrxxqHah1zvbjV
ePkIC313NTjEOx/ouLIs3P2S+8GFIoargJqsLMVF3kNC7rFUsLwKRlp7S8sAofe4
Dh1tC1/j6XUl9wJy0o62q/vwinF+qWR2NzCbW1a+QDs20iL+oVUf6aHP+Siynf63
7D2reR222k/0vbB7NuLJTjcvCwkyevp9j0xE441fBPtwuCeMWIPh1sxi73xXhvCu
tQr4oC/pK68vGgPXaWI7usrlIpxbTbNz7rXJmdB15LlJjATQbTiOuOwOtIdhbW/e
jVYD5mWX981YhU6AHALQfRxomuwn0jkGe+AzDTevl3IUO/2nDkStZiXhXpCi4ULO
nah2R4zntu8xDJuqtzouGofUA6CRTI9IvUao89SLPQKqPVrYIh/f6RYG6CnicgCf
YasVLA5O0dYU
=J/7B
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: