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

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

Your message dated Mon, 25 Dec 2023 11:34:21 +0000
with message-id <E1rHjDx-00EvGJ-A9@fasolo.debian.org>
and subject line Bug#1044629: fixed in coq-reglang 1.2.0-1
has caused the Debian Bug report #1044629,
regarding coq-reglang: 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.)


-- 
1044629: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1044629
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Source: coq-reglang
Version: 1.1.3-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-reglang
> dpkg-buildpackage: info: source version 1.1.3-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
>    debian/rules override_dh_auto_clean
> make[1]: Entering directory '/<<PKGBUILDDIR>>'
> # doesn't work
> make[1]: Leaving directory '/<<PKGBUILDDIR>>'
>    dh_clean
>  dpkg-source -b .
> dpkg-source: info: using source format '3.0 (quilt)'
> dpkg-source: info: building coq-reglang using existing ./coq-reglang_1.1.3.orig.tar.gz
> dpkg-source: error: cannot represent change to _build/install/default/lib/coq-reglang/dune-package:
> dpkg-source: error:   new version is symlink to ../../../../default/coq-reglang.dune-package
> dpkg-source: error:   old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/coq-reglang/opam:
> dpkg-source: error:   new version is symlink to ../../../../default/coq-reglang.opam
> dpkg-source: error:   old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/coq-reglang/META:
> dpkg-source: error:   new version is symlink to ../../../../default/META.coq-reglang
> dpkg-source: error:   old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/coq/user-contrib/RegLang/myhill_nerode.v:
> dpkg-source: error:   new version is symlink to ../../../../../../default/theories/myhill_nerode.v
> dpkg-source: error:   old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/coq/user-contrib/RegLang/misc.v:
> dpkg-source: error:   new version is symlink to ../../../../../../default/theories/misc.v
> dpkg-source: error:   old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/coq/user-contrib/RegLang/nfa.v:
> dpkg-source: error:   new version is symlink to ../../../../../../default/theories/nfa.v
> dpkg-source: error:   old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/coq/user-contrib/RegLang/myhill_nerode.vo:
> dpkg-source: error:   new version is symlink to ../../../../../../default/theories/myhill_nerode.vo
> dpkg-source: error:   old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/coq/user-contrib/RegLang/setoid_leq.vo:
> dpkg-source: error:   new version is symlink to ../../../../../../default/theories/setoid_leq.vo
> dpkg-source: error:   old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/coq/user-contrib/RegLang/nfa.vo:
> dpkg-source: error:   new version is symlink to ../../../../../../default/theories/nfa.vo
> dpkg-source: error:   old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/coq/user-contrib/RegLang/vardi.v:
> dpkg-source: error:   new version is symlink to ../../../../../../default/theories/vardi.v
> dpkg-source: error:   old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/coq/user-contrib/RegLang/dfa.v:
> dpkg-source: error:   new version is symlink to ../../../../../../default/theories/dfa.v
> dpkg-source: error:   old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/coq/user-contrib/RegLang/wmso.vo:
> dpkg-source: error:   new version is symlink to ../../../../../../default/theories/wmso.vo
> dpkg-source: error:   old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/coq/user-contrib/RegLang/vardi.vo:
> dpkg-source: error:   new version is symlink to ../../../../../../default/theories/vardi.vo
> dpkg-source: error:   old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/coq/user-contrib/RegLang/regexp.vo:
> dpkg-source: error:   new version is symlink to ../../../../../../default/theories/regexp.vo
> dpkg-source: error:   old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/coq/user-contrib/RegLang/dfa.vo:
> dpkg-source: error:   new version is symlink to ../../../../../../default/theories/dfa.vo
> dpkg-source: error:   old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/coq/user-contrib/RegLang/minimization.vo:
> dpkg-source: error:   new version is symlink to ../../../../../../default/theories/minimization.vo
> dpkg-source: error:   old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/coq/user-contrib/RegLang/regexp.v:
> dpkg-source: error:   new version is symlink to ../../../../../../default/theories/regexp.v
> dpkg-source: error:   old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/coq/user-contrib/RegLang/shepherdson.vo:
> dpkg-source: error:   new version is symlink to ../../../../../../default/theories/shepherdson.vo
> dpkg-source: error:   old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/coq/user-contrib/RegLang/minimization.v:
> dpkg-source: error:   new version is symlink to ../../../../../../default/theories/minimization.v
> dpkg-source: error:   old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/coq/user-contrib/RegLang/two_way.vo:
> dpkg-source: error:   new version is symlink to ../../../../../../default/theories/two_way.vo
> dpkg-source: error:   old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/coq/user-contrib/RegLang/misc.vo:
> dpkg-source: error:   new version is symlink to ../../../../../../default/theories/misc.vo
> dpkg-source: error:   old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/coq/user-contrib/RegLang/two_way.v:
> dpkg-source: error:   new version is symlink to ../../../../../../default/theories/two_way.v
> dpkg-source: error:   old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/coq/user-contrib/RegLang/languages.vo:
> dpkg-source: error:   new version is symlink to ../../../../../../default/theories/languages.vo
> dpkg-source: error:   old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/coq/user-contrib/RegLang/wmso.v:
> dpkg-source: error:   new version is symlink to ../../../../../../default/theories/wmso.v
> dpkg-source: error:   old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/coq/user-contrib/RegLang/shepherdson.v:
> dpkg-source: error:   new version is symlink to ../../../../../../default/theories/shepherdson.v
> dpkg-source: error:   old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/coq/user-contrib/RegLang/setoid_leq.v:
> dpkg-source: error:   new version is symlink to ../../../../../../default/theories/setoid_leq.v
> dpkg-source: error:   old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/lib/coq/user-contrib/RegLang/languages.v:
> dpkg-source: error:   new version is symlink to ../../../../../../default/theories/languages.v
> dpkg-source: error:   old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/doc/coq-reglang/LICENSE:
> dpkg-source: error:   new version is symlink to ../../../../default/LICENSE
> dpkg-source: error:   old version is nonexistent
> dpkg-source: error: cannot represent change to _build/install/default/doc/coq-reglang/README.md:
> dpkg-source: error:   new version is symlink to ../../../../default/README.md
> dpkg-source: error:   old version is nonexistent
> dpkg-source: error: cannot represent change to _build/.db: binary file contents changed
> dpkg-source: error: add _build/.db in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: error: cannot represent change to _build/.digest-db: binary file contents changed
> dpkg-source: error: add _build/.digest-db in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: file coq-reglang-1.1.3/_build/.filesystem-clock has no final newline (either original or modified version)
> dpkg-source: warning: file coq-reglang-1.1.3/_build/.lock has no final newline (either original or modified version)
> dpkg-source: warning: file coq-reglang-1.1.3/_build/default/.dune/configurator.v2 has no final newline (either original or modified version)
> dpkg-source: error: cannot represent change to _build/default/.lia.cache: binary file contents changed
> dpkg-source: error: add _build/default/.lia.cache in debian/source/include-binaries if you want to store the modified binary in the debian tarball
> dpkg-source: warning: newly created empty file '_build/default/META.coq-reglang' will not be represented in diff
> dpkg-source: error: cannot represent change to _build/default/theories/dfa.vo: binary file contents changed
> dpkg-source: error: add _build/default/theories/dfa.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 '_build/default/theories/dfa.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file '_build/default/theories/dfa.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to _build/default/theories/languages.vo: binary file contents changed
> dpkg-source: error: add _build/default/theories/languages.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 '_build/default/theories/languages.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file '_build/default/theories/languages.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to _build/default/theories/minimization.vo: binary file contents changed
> dpkg-source: error: add _build/default/theories/minimization.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 '_build/default/theories/minimization.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file '_build/default/theories/minimization.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to _build/default/theories/misc.vo: binary file contents changed
> dpkg-source: error: add _build/default/theories/misc.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 '_build/default/theories/misc.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file '_build/default/theories/misc.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to _build/default/theories/myhill_nerode.vo: binary file contents changed
> dpkg-source: error: add _build/default/theories/myhill_nerode.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 '_build/default/theories/myhill_nerode.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file '_build/default/theories/myhill_nerode.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to _build/default/theories/nfa.vo: binary file contents changed
> dpkg-source: error: add _build/default/theories/nfa.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 '_build/default/theories/nfa.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file '_build/default/theories/nfa.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to _build/default/theories/regexp.vo: binary file contents changed
> dpkg-source: error: add _build/default/theories/regexp.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 '_build/default/theories/regexp.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file '_build/default/theories/regexp.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to _build/default/theories/setoid_leq.vo: binary file contents changed
> dpkg-source: error: add _build/default/theories/setoid_leq.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 '_build/default/theories/setoid_leq.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file '_build/default/theories/setoid_leq.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to _build/default/theories/shepherdson.vo: binary file contents changed
> dpkg-source: error: add _build/default/theories/shepherdson.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 '_build/default/theories/shepherdson.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file '_build/default/theories/shepherdson.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to _build/default/theories/two_way.vo: binary file contents changed
> dpkg-source: error: add _build/default/theories/two_way.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 '_build/default/theories/two_way.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file '_build/default/theories/two_way.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to _build/default/theories/vardi.vo: binary file contents changed
> dpkg-source: error: add _build/default/theories/vardi.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 '_build/default/theories/vardi.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file '_build/default/theories/vardi.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to _build/default/theories/wmso.vo: binary file contents changed
> dpkg-source: error: add _build/default/theories/wmso.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 '_build/default/theories/wmso.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file '_build/default/theories/wmso.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-reglang_1.1.3-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-reglang
Source-Version: 1.2.0-1
Done: Julien Puydt <jpuydt@debian.org>

We believe that the bug you reported is fixed in the latest version of
coq-reglang, 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 1044629@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-reglang 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: Fri, 22 Dec 2023 11:21:13 +0100
Source: coq-reglang
Architecture: source
Version: 1.2.0-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Closes: 1044629
Changes:
 coq-reglang (1.2.0-1) unstable; urgency=medium
 .
   * Fix d/rules clean target (Closes: #1044629).
   * New upstream release.
Checksums-Sha1:
 be826f369b27ed7a1cc84816e2d320694603b65e 2117 coq-reglang_1.2.0-1.dsc
 3e3ef786c8c8cc69d1a83aea4e211b7f5dc9f9fc 69192 coq-reglang_1.2.0.orig.tar.gz
 278194a5969e8dd6dbd5bb87cb258b142e9b37ba 8492 coq-reglang_1.2.0-1.debian.tar.xz
 98f66620368d7bbc45842acaf383e7179cc12b2d 8464 coq-reglang_1.2.0-1_source.buildinfo
Checksums-Sha256:
 4fa780d6da51ed52192483ed2a6a38fc3665cac732bdd1dc6a8151275381cbe5 2117 coq-reglang_1.2.0-1.dsc
 4236dc1fd3c4c6cbabbf2aede45bb5c7c2a2891e1b68058facdde9eadfc23b6c 69192 coq-reglang_1.2.0.orig.tar.gz
 54d4c0e7cfe8f6d7db070e3f76a241109ff7138efa574d7276ee23cf99dd3068 8492 coq-reglang_1.2.0-1.debian.tar.xz
 634f8918fd064a93809cb491430770440561a0d36ebae9f18751187eb218ffbf 8464 coq-reglang_1.2.0-1_source.buildinfo
Files:
 6ddbd70d3ad51aceb74a7fdbfcfe53ae 2117 ocaml optional coq-reglang_1.2.0-1.dsc
 f699623d03b8d5b8ceb871cf00a9bf53 69192 ocaml optional coq-reglang_1.2.0.orig.tar.gz
 d4e841f3b2ae1367cfc1ba1d35f1d648 8492 ocaml optional coq-reglang_1.2.0-1.debian.tar.xz
 b00324c69f751ec3b4a2728f029fe293 8464 ocaml optional coq-reglang_1.2.0-1_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWFYzoSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRub4P/12Mr6QHN8qQD6O+a04tcrgjTZ+abt8f
w+01WWEKnKhAmKknypOqKDGdhOBGKHovrLtvfxj944MufR5Hv437eooquFxhzP90
AE8mc5Zy7LfAfPd7w5AcVlBjqdJFtfleQiApZB3XZvUdF2/A0nolTjZwcjpsZfnz
hK8xwUY/TTAvlRjB6gQWq3HOsetH0e2K+rJ/J0N+4Fdzp/UMiNWoqvxklkSdX3KB
gJFCDdKEhH2BO/+rN+CgDe4moDVjxcWS78mNplz7DVlXjU+ytYc+KpaUI+aih/lf
GuLEpjlYaB1goONCqL1xn3GPif/z2gXsU88xyrUGmbu+2jH6DECHJXH6jWhJ06Xu
5gveLd5yr68SqufaVoKkQkkhE03nW4Gy4D8HNPZ1eMipEBQW7/IkVLaoQF9WqTCb
G0yyuMSfEajLqma7uZTAjqNhARDLEpaBX42IkkhixZ1iGgo7Yb+IOA9KoshlqLbV
PojDZangdX/fpLSU9D3gsOuP2D6XigKuTjQaClx4qQrchB7v7XhvFSizs2ju5Xc+
aXOH9lIDVvsH9UMxIR0fOMxeVB2FBodQpfCB/xM4NH+VuLxqdkyEtiK4kcwVN6lH
5a0dsAs/5xwrSpiAx+qiq1ZDs5rK8a+xZyNc1Rmm6ORTliv+gJolTZMdUurS5Del
LeZ9GRPZHJm+
=B1U7
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: