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

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

Your message dated Fri, 22 Dec 2023 10:35:41 +0000
with message-id <E1rGcsX-00DSjt-Kr@fasolo.debian.org>
and subject line Bug#1044177: fixed in coq-libhyps 2.0.8-1
has caused the Debian Bug report #1044177,
regarding coq-libhyps: 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.)


-- 
1044177: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1044177
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Source: coq-libhyps
Version: 2.0.6-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-libhyps
> dpkg-buildpackage: info: source version 2.0.6-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
>    dh_auto_clean
> 	make -j8 clean
> make[1]: Entering directory '/<<PKGBUILDDIR>>'
> CLEAN
> make[1]: Leaving directory '/<<PKGBUILDDIR>>'
>    dh_clean
>  dpkg-source -b .
> dpkg-source: info: using source format '3.0 (quilt)'
> dpkg-source: info: building coq-libhyps using existing ./coq-libhyps_2.0.6.orig.tar.gz
> dpkg-source: info: local changes detected, the modified files are:
>  coq-libhyps-2.0.6/LibHyps/.LibDecomp.aux
>  coq-libhyps-2.0.6/LibHyps/.LibHyps.aux
>  coq-libhyps-2.0.6/LibHyps/.LibHypsNaming.aux
>  coq-libhyps-2.0.6/LibHyps/.LibHypsTactics.aux
>  coq-libhyps-2.0.6/LibHyps/.LibSpecialize.aux
>  coq-libhyps-2.0.6/LibHyps/.TacNewHyps.aux
>  coq-libhyps-2.0.6/Makefile
>  coq-libhyps-2.0.6/Makefile.conf
>  coq-libhyps-2.0.6/_CoqProject
> dpkg-source: error: aborting due to unexpected upstream changes, see /tmp/coq-libhyps_2.0.6-3.diff.PkE_CS
> dpkg-source: info: Hint: make sure the version in debian/changelog matches the unpacked source tree
> dpkg-source: info: you can integrate the local changes with dpkg-source --commit
> dpkg-buildpackage: error: dpkg-source -b . subprocess returned exit status 2
> 
> 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-libhyps_2.0.6-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-libhyps
Source-Version: 2.0.8-1
Done: Julien Puydt <jpuydt@debian.org>

We believe that the bug you reported is fixed in the latest version of
coq-libhyps, 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 1044177@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-libhyps 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:39:56 +0100
Source: coq-libhyps
Architecture: source
Version: 2.0.8-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Closes: 1044177
Changes:
 coq-libhyps (2.0.8-1) unstable; urgency=medium
 .
   * Fix d/rules clean target (Closes: #1044177).
   * Package new upstream.
Checksums-Sha1:
 15656a1918c594603c9c4b9922a2f474086165a5 2072 coq-libhyps_2.0.8-1.dsc
 f76fddba5e33d6c43ce07a437f9916fecfc41a08 37247 coq-libhyps_2.0.8.orig.tar.gz
 d0b419aa87c3fcfc9be7b66fb23b7686bf367f8e 2080 coq-libhyps_2.0.8-1.debian.tar.xz
 2e757fe2617c35594ada17f151ed42e0a3951c1b 7840 coq-libhyps_2.0.8-1_source.buildinfo
Checksums-Sha256:
 e7f6c1dd6bcfb9ce7c3774c5e042c0372ad29dd0e5adcc0d8976a8ad8030ea2f 2072 coq-libhyps_2.0.8-1.dsc
 e4dcdf15cffa0239b3dfbd56b7223f3ae9ac9731547d5c03ada150e5b49860a2 37247 coq-libhyps_2.0.8.orig.tar.gz
 4b40558f6b690e543b3cfc158cc4cf8af0d88249c23dcc14b808105f8a7a4551 2080 coq-libhyps_2.0.8-1.debian.tar.xz
 d82190cbed7e6731c8c1478a637e1f0f23dda71fe6e17cb696274ff9aff99ad8 7840 coq-libhyps_2.0.8-1_source.buildinfo
Files:
 1295802dc3f0287a32cde784485b2680 2072 ocaml optional coq-libhyps_2.0.8-1.dsc
 ca5263992fcd5f55211991f55a2d3c73 37247 ocaml optional coq-libhyps_2.0.8.orig.tar.gz
 619bc147226ede968c2b3b5b899f570c 2080 ocaml optional coq-libhyps_2.0.8-1.debian.tar.xz
 e5894bdbdef5151591c3d0deecee0150 7840 ocaml optional coq-libhyps_2.0.8-1_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWETl0SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRpAYQAKWX2UHEevbmIkeYvwKSKRFe5a9+rd5R
YlWTKrM2CScIDyeDypyuV/REk7fqr8/NO9HahvFQn23CNBiyUeBzNsFwO/VnNNY6
o14Fd4ibwoKqsmN/GfrhgarCxPhTNKnXhnzvgtah7lzEgkuw+SHCft5GZkQr3pAo
52YEEE5P+1AbEjEX1gw4AkFwAEFOPtX+/PrTFgCP72HaBXIh3IUFPF963I3vgINc
yoahdNmfAQCsDr8MNmRkIdR/GNAU8O+eU2G9KLP1pyfCXqmyn0jZeHincZUvbGvo
XYMPHY2EZ8h9UuBACz+YIJOstLrEzHUi8YS2Sid7egOPbsAbEU2UeTC0fc5/eNGD
HG9YZNBp89yeDVeNsY34G48RpL78cWVCDJsyQsRHLdDps5OgooMU8pMG6tiRa6K8
nyirUspquEZ1dWC+jMSkkELh/U/nnn3//DjIDVEPZn6Qbjh8WHY1YqnB/1/FMFmn
ytRDhSLG5JbjFKdF3digyXcBSTDKwbtbboOz/ZINaiK0mKUGGxQtLuvtY17ATJUE
yulNJ2chaiVka6Hnn0Tm3Fo8QaWvZ9SkiWjfpXVpzNAxljgrjE4AoKHVLokwAu8M
hCLgD9MCF3CcvNwL+gBkP/A5qyC9QHeUtcyYA+PDT7mo09ox7chVJZwKoRbLvmaq
65381EZyaXzu
=If3h
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: