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

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

Your message dated Fri, 22 Dec 2023 16:34:48 +0000
with message-id <E1rGiU4-00EwHo-8p@fasolo.debian.org>
and subject line Bug#1044146: fixed in coq-unimath 20231010-1
has caused the Debian Bug report #1044146,
regarding coq-unimath: 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.)


-- 
1044146: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1044146
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Source: coq-unimath
Version: 20230420-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-unimath
> dpkg-buildpackage: info: source version 20230420-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
> 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-unimath using existing ./coq-unimath_20230420.orig.tar.gz
> dpkg-source: info: using patch list from debian/patches/series
> dpkg-source: error: cannot represent change to UniMath/Algebra/All.vo: binary file contents changed
> dpkg-source: error: add UniMath/Algebra/All.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> [...]
> dpkg-source: error: cannot represent change to UniMath/Topology/Prelim.vo: binary file contents changed
> dpkg-source: error: add UniMath/Topology/Prelim.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 'UniMath/Topology/Prelim.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'UniMath/Topology/Prelim.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to UniMath/Topology/Topology.vo: binary file contents changed
> dpkg-source: error: add UniMath/Topology/Topology.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 'UniMath/Topology/Topology.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'UniMath/Topology/Topology.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-unimath_20230420-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-unimath
Source-Version: 20231010-1
Done: Julien Puydt <jpuydt@debian.org>

We believe that the bug you reported is fixed in the latest version of
coq-unimath, 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 1044146@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-unimath 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:37:29 +0100
Source: coq-unimath
Architecture: source
Version: 20231010-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Closes: 1044146
Changes:
 coq-unimath (20231010-1) unstable; urgency=medium
 .
   * Fix d/rules clean target (Closes: #1044146)
   * New upstream release.
Checksums-Sha1:
 155be0835f7772fd92014ebf4e583a51e5052673 2109 coq-unimath_20231010-1.dsc
 cabad4e0221f097ebc3f667017bd7fa7242c4d81 2893033 coq-unimath_20231010.orig.tar.gz
 93bd9c269cbea0bb5dd8398145a42dae09e4539b 2088 coq-unimath_20231010-1.debian.tar.xz
 7da30af6ede87e97e687fe48d5b3079b2247a056 7852 coq-unimath_20231010-1_source.buildinfo
Checksums-Sha256:
 3c87083284e448de7723bbc20fa28387b6a2d4b4de6a24092558ee8c7547ccde 2109 coq-unimath_20231010-1.dsc
 c722471ead589f971a561cfc2f836d8e7139710797b15350edc867f9c037853b 2893033 coq-unimath_20231010.orig.tar.gz
 dd3a0d8e22a121761e8967c2bdaa92553bc2fda8ee8d6d54f1a2f7d0d147bc9f 2088 coq-unimath_20231010-1.debian.tar.xz
 a6bdeac383d830c8ed026945e37503873b45533ac5fe62ddadda18650a63647b 7852 coq-unimath_20231010-1_source.buildinfo
Files:
 5cbc38eac51bc1089875ec1076b64952 2109 ocaml optional coq-unimath_20231010-1.dsc
 fa01c7733174c7ac4c161b610dd7f858 2893033 ocaml optional coq-unimath_20231010.orig.tar.gz
 64e61e068b79c4004760ab27931969ab 2088 ocaml optional coq-unimath_20231010-1.debian.tar.xz
 aef20b9a4ae0b342e9043e6dd2d4fc74 7852 ocaml optional coq-unimath_20231010-1_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWEW/sSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR32kP/0DhZTwyt4adxfELWaNXFPpbtZO3Ai4O
HAFghRQs1erUmITmhb2SGPC9W5eQpCRKvLR/MZKd1aNJxT/uDjBba/hQW79NXK2a
wwT1BlXKobzvJ481dInKAg9PynT9+AGDqTsPatoBDqssSzgz044BrKTBAE0Y5MFW
u16AFdGLcJ8TF1AC5UsjqwirTBsdMQeXR7kqRSecEormRastf7FxsWMJ6zriqZbu
PHR8NOKCElfftWsQ+GnIQv7cUGJE7DnDVNZx4DOwDj5Npw9yWHFceklF08P7A6z/
7ECvxZrhXsQYWEEknJN2JJ1IoGN6/kcGnaxD8fKC++EmMzc43efDXeRDVPVZLpzK
CHNOjWYulV5n62GLM7kmcshAZzSHTT+VFLNJiQACHsKWR1r5b8sp2gXG1O3ejJZP
Lq274+dleo9q+81GF8XKfTOQJEr/l/aryHk6ANgaK2E4z75gXF0NgHgQAbiG+Uvp
s3Eo3Gx45fwik87IznUtFuMzfl1hOSRldVnyytGp3MCEo/ZOe/vso+X/vGWW3VKR
aFaS2s8N6v1tEOKX05cIIBs9RCSeczClpd5+fkKyaDL66RkWmGnTROiygvPlkjd1
wLIt+uFC7stlcJ/Q5ajM4mGmj/D58PSHhIOCYhF7aAsRTSdydCH6xSZzVw+zUZ2r
QjeXt+M4s8BS
=V2+Q
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: