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

Bug#1044808: marked as done (coq-record-update: Fails to build source after successful build)

Your message dated Fri, 22 Dec 2023 10:35:57 +0000
with message-id <E1rGcsn-00DSmz-4p@fasolo.debian.org>
and subject line Bug#1044808: fixed in coq-record-update 0.3.3-1
has caused the Debian Bug report #1044808,
regarding coq-record-update: 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.)


-- 
1044808: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1044808
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Source: coq-record-update
Version: 0.3.2-1
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-record-update
> dpkg-buildpackage: info: source version 0.3.2-1
> 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
>    debian/rules override_dh_auto_clean
> make[1]: Entering directory '/<<PKGBUILDDIR>>'
> # not good
> make[1]: Leaving directory '/<<PKGBUILDDIR>>'
>    dh_clean
>  dpkg-source -b .
> dpkg-source: info: using source format '3.0 (quilt)'
> dpkg-source: info: building coq-record-update using existing ./coq-record-update_0.3.2.orig.tar.gz
> dpkg-source: error: cannot represent change to src/Lens.vo: binary file contents changed
> dpkg-source: error: add src/Lens.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 'src/Lens.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/Lens.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/RecordSet.vo: binary file contents changed
> dpkg-source: error: add src/RecordSet.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 'src/RecordSet.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/RecordSet.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to src/RecordUpdate.vo: binary file contents changed
> dpkg-source: error: add src/RecordUpdate.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 'src/RecordUpdate.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'src/RecordUpdate.vos' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/LensTests.vo' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/ListNotationTests.vo' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/PrintingTests.vo' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/ReadmeExampleTests.vo' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/RecordSetTests.vo' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/RegressionTests.vo' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/SimpleRecordUpdate.vo' will not be represented in diff
> dpkg-source: warning: newly created empty file 'tests/coqpl_2021.vo' 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-record-update_0.3.2-1_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-record-update
Source-Version: 0.3.3-1
Done: Julien Puydt <jpuydt@debian.org>

We believe that the bug you reported is fixed in the latest version of
coq-record-update, 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 1044808@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-record-update 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:03:50 +0100
Source: coq-record-update
Architecture: source
Version: 0.3.3-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Closes: 1044808
Changes:
 coq-record-update (0.3.3-1) unstable; urgency=medium
 .
   * Fix d/rules clean target (Closes: #1044808).
   * New upstream release.
Checksums-Sha1:
 0038cf5717cf9b36ea1fc091cde01f15ae32e3c2 2148 coq-record-update_0.3.3-1.dsc
 b626542581be1026dccd66c4ac313187da8af388 13644 coq-record-update_0.3.3.orig.tar.gz
 f637465f253d1e81060a2318b7dd5731c71269cb 1972 coq-record-update_0.3.3-1.debian.tar.xz
 8df54efe817499c44fbf1eb1a16c639fd76d5785 7864 coq-record-update_0.3.3-1_source.buildinfo
Checksums-Sha256:
 895f29d16db712a4ee02f6c896e7b5a8fda533e630ba7d1d1ea81433c0b5569b 2148 coq-record-update_0.3.3-1.dsc
 6d01fa6ffc58f2bfa3c56c3a5b8b8bd28a9bf7ceff804788f74a2ea4f65d76d3 13644 coq-record-update_0.3.3.orig.tar.gz
 9de844e2fc220dcadb38cc8c8b256a760e1a24e8899e1ac3441324a3a275a38d 1972 coq-record-update_0.3.3-1.debian.tar.xz
 dcc710153f6a5a837200d48e596962e04c743371a449faed6f10fbaddaf27795 7864 coq-record-update_0.3.3-1_source.buildinfo
Files:
 8552500c7c00b9f8341df70c54cc5266 2148 ocaml optional coq-record-update_0.3.3-1.dsc
 67fc7dead388bfec2b737241dcd9e3d8 13644 ocaml optional coq-record-update_0.3.3.orig.tar.gz
 91abd01ad26e0754300c15514b246a10 1972 ocaml optional coq-record-update_0.3.3-1.debian.tar.xz
 b411a24433344d590c9359b4287672d3 7864 ocaml optional coq-record-update_0.3.3-1_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWEU/USHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR9Q0P/ijemk7RP5vMwUy7leirRK9pGZ+uIdhG
oK/xKPVn9hxJlWFj6Z4qRCW45xvATAbgzDhoNhFt7YsQAy5H/bxoOYvP9WZFN7MV
Sn4o3mgpr23kZmfBQV02p6NAbTwxfEd0YcOVxbV6tGrXjPOQ1wq1IBQnn1jRloNs
8t9p+RzMaim3e6anS56XDPKtTI142tpvQ3PWslurrUvemkZoNJRzfeHjVqYaQCaI
TPgSJmPVfYtT4p719XAis83LK59PVAJvaD7ZLP1oDkzlfAgrVGQdbwUhfYekab/G
KrE/raOcizW7fHwRiRfNmcyneyS+f/Wy6hmKX/JzF8yoD8hSpWRcOoPxg1fWBBUp
A8eY/b5mHCKJ08ABPDqGhlmQfb/GZyzP11MZfFXl+8H4YIdtJc4bOC9jhXH914/P
KxTeCQrTl8PfiLHUr5nQxndDEmnnXSklFvh9ctBMp9PkrXk/5hA7ALJMC36t5hrb
lEQq+4JhPaiT1/wvR+zoLHP0hGkgjbEq8R76tVyN81lCf4Ip9XOlVWlPuTIUAPz3
UUNt0m6W6c0sAZxfLa8Y8f3+Bx0qWXGFXcLpaS+xpqlcE7j653Fe/lzwxezizNxh
pTlLThyJGLgLZ9hQbAsbA90PVK+FlXcoXlXxl894n7zOsEakb2XSh8bB4qhucx31
+0K0wv1OGCxf
=JUO4
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: