Your message dated Tue, 19 Mar 2024 22:35:01 +0000
with message-id <[email protected]>
and subject line Bug#1044976: fixed in cvc5 1.1.2-2
has caused the Debian Bug report #1044976,
regarding cvc5: 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 [email protected]
immediately.)
--
1044976: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1044976
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Source: cvc5
Version: 1.0.5-3
Severity: minor
Tags: trixie sid ftbfs
User: [email protected]
Usertags: ftbfs-sab-20230813 ftbfs-source-after-build
User: [email protected]
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 cvc5
> dpkg-buildpackage: info: source version 1.0.5-3
> dpkg-buildpackage: info: source distribution unstable
> dpkg-buildpackage: info: source changed by Scott Talbert <[email protected]>
> dpkg-source --before-build .
> debian/rules clean
> dh clean --buildsystem=cmake
> dh_auto_clean -O--buildsystem=cmake
> dh_autoreconf_clean -O--buildsystem=cmake
> dh_clean -O--buildsystem=cmake
> dpkg-source -b .
> dpkg-source: info: using source format '3.0 (quilt)'
> dpkg-source: info: building cvc5 using existing ./cvc5_1.0.5.orig.tar.gz
> dpkg-source: info: using patch list from debian/patches/series
> dpkg-source: error: cannot represent change to
> src/api/__pycache__/parseenums.cpython-311.pyc: binary file contents changed
> dpkg-source: error: add src/api/__pycache__/parseenums.cpython-311.pyc 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/rewriter/__pycache__/node.cpython-311.pyc: binary file contents changed
> dpkg-source: error: add src/rewriter/__pycache__/node.cpython-311.pyc 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/rewriter/__pycache__/rule.cpython-311.pyc: binary file contents changed
> dpkg-source: error: add src/rewriter/__pycache__/rule.cpython-311.pyc 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/rewriter/__pycache__/rw_parser.cpython-311.pyc: binary file contents
> changed
> dpkg-source: error: add src/rewriter/__pycache__/rw_parser.cpython-311.pyc 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/rewriter/__pycache__/util.cpython-311.pyc: binary file contents changed
> dpkg-source: error: add src/rewriter/__pycache__/util.cpython-311.pyc in
> debian/source/include-binaries if you want to store the modified binary in
> the debian tarball
> 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/cvc5_1.0.5-3_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: cvc5
Source-Version: 1.1.2-2
Done: Scott Talbert <[email protected]>
We believe that the bug you reported is fixed in the latest version of
cvc5, 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 [email protected],
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Scott Talbert <[email protected]> (supplier of updated cvc5 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 [email protected])
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Mon, 18 Mar 2024 20:06:23 -0400
Source: cvc5
Architecture: source
Version: 1.1.2-2
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Maintainers
<[email protected]>
Changed-By: Scott Talbert <[email protected]>
Closes: 1044976
Changes:
cvc5 (1.1.2-2) unstable; urgency=medium
.
* Update debug and rpath patches to be more upstreamable
* Use default linker (instead of gold) to fix FTBFS on mips64el
* Mark libcvc5-devel Multi-Arch:same
* Run dh_auto_clean for pybuild to fix build after build (Closes: #1044976)
Checksums-Sha1:
2ee61b2f2809bfa60ef778a26ccbeb4e28594266 2470 cvc5_1.1.2-2.dsc
3cd5c3e0f9d3440e035804f1df474209df788451 7396 cvc5_1.1.2-2.debian.tar.xz
5b502d6d5f73652164d728c1e17260d514ff2c82 11445 cvc5_1.1.2-2_amd64.buildinfo
Checksums-Sha256:
60c8f76449c4cef9b59f9ea8a295c32378d014080a50931be6080e46d88fe69b 2470
cvc5_1.1.2-2.dsc
d222819780d8afd7146a533316277f2e0c92b618de69114b9498584b36af838f 7396
cvc5_1.1.2-2.debian.tar.xz
33567ecfbbbbbd4a57813ad9d7fde18ac855596c6dbf33a52d9a39e8732774d6 11445
cvc5_1.1.2-2_amd64.buildinfo
Files:
ffc9db34c53f5a4bee55441ee4dce9dd 2470 math optional cvc5_1.1.2-2.dsc
1283632c1cc35bd3910e8424012429a6 7396 math optional cvc5_1.1.2-2.debian.tar.xz
5b963b3c37bcc44662d2147dd2516f40 11445 math optional
cvc5_1.1.2-2_amd64.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmX6DeUPHHN3dEB0ZWNo
aWUubmV0AAoJEFPVvGS1I3iiI6oP/jGKkXCXTgxS8zNIv99buxNE+JCJKImmSO0g
vr2HjNw+//2MgRPWrOLaCR6Jt7DSOY+/cki476Zmjdo8Eim69TqPLBbzoEmDeMcL
9GN+X8wvALFu6gIgSY0gtxIHd4vp8KLp0yK00b0zmEd3PPsHIPTTIoqkuLPzc8SQ
0ZWLTveLWTF5ix/cAcOUNmkQnOla3qhfMZ6YNmn0Fw+oEYYKnhyejwRkpwM5rzhC
FpblfAiM9x/TugCnpvn5BY5owYcpWf/46gogzhSe39z+bjo4nGx06sHopedemJjE
SGgvD2c7L1r6AKgQzaD8REe4Egt2Lhb6HP3rg0+0RxjPBogzJ87czu4kBgbGNf+j
c6QYrdF0mK5KoR1cwvbHfSjaZST1bYRsQXs90+qrqToGg4ZiIPKCfVv/OxrPYymV
lzokXYe+wzWw2DaG628jPzvxyExOnbrV8MQ59WR8NYQM9wsEPblOv/SJCo6SvNkj
dnJSVmHoCgXzgWyvvtJhM3l9CzaFGOrjahYzefYqM1lq9VmCVWyo2l+BuOy/VuwM
MqsZ4B8qKLAuFdShYECp2iLUNckfJF96KeMIPl373cJWqz9IrGqgf5r2mhopD5nK
DYqSz5N+A6w/Hg1Zt800iQo8y73Z2OvfNIeYnvFBHQTP9RkMVrTmvFmDjIxUhzDW
Un1EeB/0
=af9Z
-----END PGP SIGNATURE-----
pgpskqisDxpK7.pgp
Description: PGP signature
--- End Message ---
