Bug#1044637: marked as done (coq: Fails to build source after successful build)
Your message dated Thu, 21 Dec 2023 14:34:50 +0000
with message-id <E1rGK8Q-008eYO-8T@fasolo.debian.org>
and subject line Bug#1044637: fixed in coq 8.18.0+dfsg-1
has caused the Debian Bug report #1044637,
regarding coq: 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.)
--
1044637: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1044637
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
- To: submit@bugs.debian.org
- Subject: coq: Fails to build source after successful build
- From: Lucas Nussbaum <lucas@debian.org>
- Date: Sun, 13 Aug 2023 18:56:51 +0200
- Message-id: <1691945811.536494.1233490.nullmailer@grub.nussbaum.fr>
Source: coq
Version: 8.17.0+dfsg-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
> dpkg-buildpackage: info: source version 8.17.0+dfsg-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,ocaml,python3
> dh_auto_clean
> make -j8 clean
> make[1]: Entering directory '/<<PKGBUILDDIR>>'
> rm -f .dune-stamp
> dune clean
> 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 using existing ./coq_8.17.0+dfsg.orig.tar.xz
> dpkg-source: info: using patch list from debian/patches/series
> dpkg-source: info: local changes detected, the modified files are:
> coq-8.17.0+dfsg/config/Makefile
> coq-8.17.0+dfsg/config/coq_config.ml
> coq-8.17.0+dfsg/config/coq_config.py
> coq-8.17.0+dfsg/config/dune.c_flags
> coq-8.17.0+dfsg/theories/dune
> coq-8.17.0+dfsg/user-contrib/Ltac2/dune
> dpkg-source: error: aborting due to unexpected upstream changes, see /tmp/coq_8.17.0+dfsg-1.diff.KYc233
> 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_8.17.0+dfsg-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
Source-Version: 8.18.0+dfsg-1
Done: Julien Puydt <jpuydt@debian.org>
We believe that the bug you reported is fixed in the latest version of
coq, 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 1044637@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 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 14:34:31 +0100
Source: coq
Architecture: source
Version: 8.18.0+dfsg-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Closes: 1044637
Changes:
coq (8.18.0+dfsg-1) unstable; urgency=medium
.
[ Debian Janitor ]
* Update lintian override info to new format:
+ debian/coq.lintian-overrides: line 2, 4-21
+ debian/libcoq-core-ocaml-dev.lintian-overrides: line 2
+ debian/libcoq-core-ocaml.lintian-overrides: line 2-4, 6
* debian/copyright: use spaces rather than tabs to start continuation lines.
* Set upstream metadata fields: Bug-Database, Bug-Submit, Repository-Browse.
* Update standards version to 4.6.2, no changes needed.
* Remove constraints unnecessary since buster (oldstable):
+ Build-Depends: Drop dependency on essential package bash (>= 5.0).
+ Build-Depends: Drop versioned constraint on dh-ocaml (>= 0.9.5~).
+ Build-Depends: Drop versioned constraint on ocaml-nox (>= 4.05).
+ Build-Depends: Drop versioned constraint on camlp5 (>= 6.14).
+ libcoq-stdlib: Drop versioned constraint on coq (>= 8.0) in Recommends.
+ libcoq-core-ocaml: Drop conflict with removed package coq (<< 8.3~) in
Replaces.
+ libcoq-core-ocaml: Drop conflict with removed package libcoq-ocaml-dev (<<
8.3~) in Replaces.
+ libcoq-core-ocaml: Drop conflict with removed package coq (<< 8.3~) in
Breaks.
+ libcoq-core-ocaml: Drop conflict with removed package libcoq-ocaml-dev (<<
8.3~) in Breaks.
+ libcoq-core-ocaml-dev: Drop conflict with removed package coq (<<
8.2-1+dfsg-1) in Replaces.
+ libcoq-core-ocaml-dev: Drop conflict with removed package coq (<<
8.2-1+dfsg-1) in Breaks.
.
[ Julien Puydt ]
* Fix d/rules clean target (Closes: #1044637).
* New upstream release.
* Refresh patches.
* Drop the coq-unimath workaround patch.
Checksums-Sha1:
1fc194ce431a05495ee4d2de353e0c52a6059f0b 2570 coq_8.18.0+dfsg-1.dsc
880abe4c477b0b57ff4b9f8bd1a2ff56c8866ca4 4868368 coq_8.18.0+dfsg.orig.tar.xz
6ee7f5b329a4b9bc76182d48d4b89e668d068c25 33160 coq_8.18.0+dfsg-1.debian.tar.xz
b775ddae73a6f384d318295a01b4e1208e8f398b 16541 coq_8.18.0+dfsg-1_source.buildinfo
Checksums-Sha256:
7b722e9161a79651a1d126a69b60aa4893ad63273230b78ce2c5fbb3addaab7a 2570 coq_8.18.0+dfsg-1.dsc
ae1e6c8905d0766b436c3ecff35e836b8d6c56507106d470c175f834b9de89bd 4868368 coq_8.18.0+dfsg.orig.tar.xz
f3a5e4db041b560ee15014fde8f7a836880e9c4cf201e02722a92d4f3947e86b 33160 coq_8.18.0+dfsg-1.debian.tar.xz
cd5179feabc56f58ddf6e45e0d132e81e1d01dd782afa54670f3efd61c9adafb 16541 coq_8.18.0+dfsg-1_source.buildinfo
Files:
d8d73b23589b852b8586936d75a311d7 2570 math optional coq_8.18.0+dfsg-1.dsc
a217a12abf9ca7b00e72e99200c6cc31 4868368 math optional coq_8.18.0+dfsg.orig.tar.xz
c6af82172058bee3456b7cf144f60275 33160 math optional coq_8.18.0+dfsg-1.debian.tar.xz
2210f04c9c626166a25bde3857b66a4a 16541 math optional coq_8.18.0+dfsg-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWEP1ASHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRmogP/iyA7bxMyXA1lZjqe9vPIoyW+GyeWlvp
bcNRhqxTb4ddt0n6EofzJHREG0RqenkZoUaAQUrBCZ7d0uvOt88tlSGO9oZ7vvzV
lDd+eLz5U0/yUtvkyQIz8KDH3CZEhxom9VFYxkR0cXt6OWJAG7XMC2WyAH5wAG98
t6+H8fAokvmmyw3iLNzXuTbp1rhmntzY/5mtvCLnHL052fhbdgTgfiryQy1otSed
uR1OMGoMyXvjJ1GLmuBQ+epBoQx4XEMlhp8383rIkP8Q6qcbBUDcyzn2x44UioJB
F7xrU3MsDmho+i2hH2s+GhUifI9YgI4cTs2oJNyKyY9apASQ6/FnhmbS6KJk0DM5
pVwqYBu/Ulbc8wV7FYyJu5+swq577XC/xiqvdGaA/ZwabfMSb5LdrMGlXDFmiLZB
yhbNbA6vhQMw/d5zxvis79rseBLZt2uJ8LiEzT9VKwGny8PBGlGDo2bE9rIY4ZFp
2jfrpHmLzyPFYnG00vJJogkWv7W3Q1crWG/7dFQ5/V6xBw9I7Dr/quFHmx6+UD1w
glILdo8KfhZTWdLMGgzBVi3BVepiWnHm/u6PU5ylvy33vJxUStxjyti0O5ZiwcFY
XPcMbp5MZhTyP4Cgi8coLtot9ZfL4lfdBkCAWUmRITHIXcHnGA4XfJFPLV3sADOC
XVMhPV/NpFuv
=utVj
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: