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

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

Your message dated Fri, 01 Sep 2023 12:34:17 +0000
with message-id <E1qc3Lt-0088cb-CI@fasolo.debian.org>
and subject line Bug#1045075: fixed in coq-hott 8.18-1
has caused the Debian Bug report #1045075,
regarding coq-hott: 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.)


-- 
1045075: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1045075
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Source: coq-hott
Version: 8.17-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-hott
> dpkg-buildpackage: info: source version 8.17-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-hott using existing ./coq-hott_8.17.orig.tar.gz
> dpkg-source: error: cannot represent change to contrib/HoTTBook.vo: binary file contents changed
> dpkg-source: error: add contrib/HoTTBook.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 'contrib/HoTTBook.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'contrib/HoTTBook.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to contrib/HoTTBookExercises.vo: binary file contents changed
> dpkg-source: error: add contrib/HoTTBookExercises.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 'contrib/HoTTBookExercises.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'contrib/HoTTBookExercises.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to contrib/SetoidRewrite.vo: binary file contents changed
> dpkg-source: error: add contrib/SetoidRewrite.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 'contrib/SetoidRewrite.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'contrib/SetoidRewrite.vos' will not be represented in diff
> dpkg-source: error: cannot represent change to contrib/UniverseLevel.vo: binary file contents changed
> dpkg-source: error: add contrib/UniverseLevel.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 theories/WildCat/Yoneda.vo: binary file contents changed
> dpkg-source: error: add theories/WildCat/Yoneda.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/WildCat/Yoneda.vok' will not be represented in diff
> dpkg-source: warning: newly created empty file 'theories/WildCat/Yoneda.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-hott_8.17-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-hott
Source-Version: 8.18-1
Done: Julien Puydt <jpuydt@debian.org>

We believe that the bug you reported is fixed in the latest version of
coq-hott, 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 1045075@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-hott 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, 01 Sep 2023 14:05:19 +0200
Source: coq-hott
Architecture: source
Version: 8.18-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Closes: 1045075
Changes:
 coq-hott (8.18-1) unstable; urgency=medium
 .
   [ Debian Janitor ]
   * debian/copyright: use spaces rather than tabs to start continuation lines.
   * Set upstream metadata fields: Bug-Database, Bug-Submit, Repository-Browse.
 .
   [ Julien Puydt ]
   * Fix d/rules clean target (Closes: #1045075)
   * New upstream release.
Checksums-Sha1:
 b31aaadb3cd9bb5955ef1050afdca93ccddd639c 2029 coq-hott_8.18-1.dsc
 96f4590291270fbfc35d47705933b70388295403 909335 coq-hott_8.18.orig.tar.gz
 644a87af3ea59dcc3fad599972ff5eb4604e8e98 2844 coq-hott_8.18-1.debian.tar.xz
 5d9044f16a1cea508e0380f59895dd7abc690342 7520 coq-hott_8.18-1_source.buildinfo
Checksums-Sha256:
 dfe65356412f39e28e38d918d72d8989a83831a0f63413db35682b2a008428b9 2029 coq-hott_8.18-1.dsc
 0acc8ad88a7bc057ab66c331c953d2fff10b82389bb07eec1d2132726a4a8c00 909335 coq-hott_8.18.orig.tar.gz
 646401373a126160573b2d9c4994ca2d59b31421ec100972773354d494552c5d 2844 coq-hott_8.18-1.debian.tar.xz
 46c4df52f70d6710d284e08b4d608cad622bd3cda6aab1d619069b761dd26dee 7520 coq-hott_8.18-1_source.buildinfo
Files:
 66626976014e03d4f50b7d6779b63155 2029 ocaml optional coq-hott_8.18-1.dsc
 1d36040caeea2d2ef92a1bb7ab5c3dfe 909335 ocaml optional coq-hott_8.18.orig.tar.gz
 b9729f9f21db8021b622194845873eed 2844 ocaml optional coq-hott_8.18-1.debian.tar.xz
 dbedd435d7a24cb09c473edfb6d68d87 7520 ocaml optional coq-hott_8.18-1_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmTx06MSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRr/IP/iTlsOyd40bv39cDuZIHh1nEU8f82fK+
4Jx6kYfeq/l2fPBZispdjG9FLgdK3MlY3BXkrpfvWwEVft4yAGGV+XDHN15C26KZ
xs630zXCQgG0ztQBD2oHwk5g+ATdoRML8VUs7UjAvM2pLv2B5Sbv2gRZ/nrHtStP
MsKGgEnJhJEMkAwiiYCYAkI11s8EG3FTEulYypZzo71b+YLn6d3+X65uCcC8K0ee
Jzanaa3GHbBn7S05XNUpTcjMwYPW5BfFoAT29FAUqPeyossk1MCPTDDhDX6f1oqC
YxKiSqvsrzpbwHPzDOemETmEdf55wWLO2cJM+XiiyEPz2OrgH0Fg8YlNpFur8kns
0ROgsAvJ6rTIyL8yfmCb3wwz7rRKwi3vhIWd8HU4XVvzkSEkIU+/v2lEVQgmIrwb
3UI17ihmQaT329WeJzEulB+oE5LwZnBvaU8SOCe+lVEoFBeDmw4ovDXbEeYSheuD
ldgtI3DqRSlEA7roKewAzLI85l8p5/fHcchOnj8SgMdHwp6RyYg+x5FPiHRjb7Ja
SqzQUKZ2y6o5y+7sc9hyrPzhE7llTHdtymNhA3wURnKGg21iGyGEIEVlX+avpjoV
O01OBuNhsePvX9GrBZKI5vIhiwi99+6jschjf3AQfBkQUXHCFDDe9p3Y4m+xH8hD
rddldkZX/gRr
=6jH0
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: