Bug#1048381: marked as done (paramcoq: Fails to build source after successful build)
Your message dated Fri, 22 Dec 2023 10:37:47 +0000
with message-id <E1rGcuZ-00DT7y-IK@fasolo.debian.org>
and subject line Bug#1048381: fixed in paramcoq 1.1.3+coq8.18-1
has caused the Debian Bug report #1048381,
regarding paramcoq: 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.)
--
1048381: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1048381
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
- To: submit@bugs.debian.org
- Subject: paramcoq: Fails to build source after successful build
- From: Lucas Nussbaum <lucas@debian.org>
- Date: Sun, 13 Aug 2023 21:21:05 +0200
- Message-id: <1691954465.659893.1280300.nullmailer@grub.nussbaum.fr>
Source: paramcoq
Version: 1.1.3+coq8.17-2
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 paramcoq
> dpkg-buildpackage: info: source version 1.1.3+coq8.17-2
> 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 paramcoq using existing ./paramcoq_1.1.3+coq8.17.orig.tar.gz
> dpkg-source: info: using patch list from debian/patches/series
> dpkg-source: error: cannot represent change to src/abstraction.cmi: binary file contents changed
> dpkg-source: error: add src/abstraction.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 src/abstraction.cmt: binary file contents changed
> dpkg-source: error: add src/abstraction.cmt in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to src/abstraction.cmx: binary file contents changed
> dpkg-source: error: add src/abstraction.cmx in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to src/abstraction.o: binary file contents changed
> dpkg-source: error: add src/abstraction.o in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to src/debug.cmi: binary file contents changed
> dpkg-source: error: add src/debug.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 src/debug.cmt: binary file contents changed
> dpkg-source: error: add src/debug.cmt in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to src/debug.cmx: binary file contents changed
> dpkg-source: error: add src/debug.cmx in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to src/debug.o: binary file contents changed
> dpkg-source: error: add src/debug.o in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to src/declare_translation.cmi: binary file contents changed
> dpkg-source: error: add src/declare_translation.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 src/declare_translation.cmt: binary file contents changed
> dpkg-source: error: add src/declare_translation.cmt in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to src/declare_translation.cmx: binary file contents changed
> dpkg-source: error: add src/declare_translation.cmx in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to src/declare_translation.o: binary file contents changed
> dpkg-source: error: add src/declare_translation.o in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to src/paramcoq.a: binary file contents changed
> dpkg-source: error: add src/paramcoq.a in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to src/paramcoq.cmi: binary file contents changed
> dpkg-source: error: add src/paramcoq.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 src/paramcoq.cmt: binary file contents changed
> dpkg-source: error: add src/paramcoq.cmt in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to src/paramcoq.cmx: binary file contents changed
> dpkg-source: error: add src/paramcoq.cmx in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to src/paramcoq.cmxa: binary file contents changed
> dpkg-source: error: add src/paramcoq.cmxa in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to src/paramcoq.cmxs: binary file contents changed
> dpkg-source: error: add src/paramcoq.cmxs in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: executable mode 0755 of 'src/paramcoq.cmxs' will not be represented in diff
> dpkg-source: error: cannot represent change to src/paramcoq.o: binary file contents changed
> dpkg-source: error: add src/paramcoq.o in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to src/parametricity.cmi: binary file contents changed
> dpkg-source: error: add src/parametricity.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 src/parametricity.cmt: binary file contents changed
> dpkg-source: error: add src/parametricity.cmt in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to src/parametricity.cmx: binary file contents changed
> dpkg-source: error: add src/parametricity.cmx in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to src/parametricity.o: binary file contents changed
> dpkg-source: error: add src/parametricity.o in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to src/relations.cmi: binary file contents changed
> dpkg-source: error: add src/relations.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 src/relations.cmt: binary file contents changed
> dpkg-source: error: add src/relations.cmt in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to src/relations.cmx: binary file contents changed
> dpkg-source: error: add src/relations.cmx in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to src/relations.o: binary file contents changed
> dpkg-source: error: add src/relations.o in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to theories/Param.vo: binary file contents changed
> dpkg-source: error: add theories/Param.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/Param.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/Param.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/paramcoq_1.1.3+coq8.17-2_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: paramcoq
Source-Version: 1.1.3+coq8.18-1
Done: Julien Puydt <jpuydt@debian.org>
We believe that the bug you reported is fixed in the latest version of
paramcoq, 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 1048381@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 paramcoq 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:33:29 +0100
Source: paramcoq
Architecture: source
Version: 1.1.3+coq8.18-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Closes: 1048381
Changes:
paramcoq (1.1.3+coq8.18-1) unstable; urgency=medium
.
* Fix d/rules clean target (Closes: #1048381).
* New upstream release.
Checksums-Sha1:
6c2cf263a1f4bffb3f1a08329bdc2eaf4ee9667b 2111 paramcoq_1.1.3+coq8.18-1.dsc
c911aeb7a2e301479321d7d86ae8f3510bbcda06 45759 paramcoq_1.1.3+coq8.18.orig.tar.gz
b974ce9fb042486da705333241d56db5a091165f 3092 paramcoq_1.1.3+coq8.18-1.debian.tar.xz
dd0f32194e1b6b9122c7acc20778ae19f7b97ae2 7860 paramcoq_1.1.3+coq8.18-1_source.buildinfo
Checksums-Sha256:
439b27a55761069cb8520d85337efebe410363a33e55edbf71f5a1b9411e37a7 2111 paramcoq_1.1.3+coq8.18-1.dsc
442de1e24a5bcbd23381dd5ff7b94c323871359332b462a99b1c2473f55cc524 45759 paramcoq_1.1.3+coq8.18.orig.tar.gz
9f1dfcd0d025168dd3da8c5c687234ba85e85b6ee6d6cf0613b0bb8d1c1745b6 3092 paramcoq_1.1.3+coq8.18-1.debian.tar.xz
1831bd7125c79b8e6b1105a4a57089581306fedf65ee09b08e782b6e5b42b0e5 7860 paramcoq_1.1.3+coq8.18-1_source.buildinfo
Files:
b1d38263a020729dbc7d0174b52fe927 2111 ocaml optional paramcoq_1.1.3+coq8.18-1.dsc
493f4cc42f745881f7d64f05fb438dec 45759 ocaml optional paramcoq_1.1.3+coq8.18.orig.tar.gz
29da8affc237b99efbeb5cc2081810da 3092 ocaml optional paramcoq_1.1.3+coq8.18-1.debian.tar.xz
5ebe77740ca3372f471944f00c7bdefd 7860 ocaml optional paramcoq_1.1.3+coq8.18-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWEWuESHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRWoYP+wQ9Fo8IGV3+ivZOaDh3CVY3l6rW6STT
bWXxrUMCx2onAJEZJwnqewMZRW9c//cgvzhYYQnzS8sUxOv4VHjac47xLeK1Q4TX
7o23E7pghRSU4LWKq//F2/lfE6vWA/IxgiEu/a0uoYShkcLp6bkwrzDHCDh1F2rM
12hzVQz58e59aqQcnI7zPHot1pxw0ta9YafXfDpJ77C+4SzbhQKmrcl2UOILqYTi
LqTWKaDgMCDdmdoRKFflIjxda9he+TX/DnNAbyfPgpCQAlx0uUezh3lLHrG62XMI
P6GLlvGa8pSNooiO5JZfsl3rzLBvjvKOKXEt2gkpZzbXzgudwf3yoFQVF/9EEX32
005fSRp20iwdX6hD0Z6FTmygZ9ywwCNVxA+KNXv5Z5spfIqYegqYeqX0SLuEnlzA
4UQddvSR5YSEggdWW4fwTcReFDTjHbTG6/LAvWu2tHr75inHY4BT+O/4imsKD18a
JHdkBFB3bkLjBvpvV82ZMnXaQJbPn5rZRzVyuc3BCoDBbp1auwwpaZ05rAIC7mv8
N1saUfpJYuwWFY6gM8WkOuMBDpfC7pTO0zb2IWHrXeZr/KP2DYDTE/d+4zkTLCAz
fSaH/2AZNGJUnO0PT36qAkjIgrma3MEd8P90MWA4NMVSpgA16qH0Cq9/LvDIX59g
DetbD41SpTDi
=y3MM
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: