Your message dated Sat, 12 Nov 2022 05:18:57 +0000
with message-id <[email protected]>
and subject line Bug#1023886: fixed in boolector 1.5.118.6b56be4.121013-1.3
has caused the Debian Bug report #1023886,
regarding boolector: reproducible builds: Embeds running kernel architecture in
/usr/bin/boolector
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.)
--
1023886: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1023886
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Source: boolector
Severity: normal
Tags: patch
User: [email protected]
Usertags: kernel
X-Debbugs-Cc: [email protected]
The kernel architecture is embedded in /usr/bin/boolector:
https://tests.reproducible-builds.org/debian/rb-pkg/unstable/armhf/diffoscope-results/boolector.html
Linux·armv7l
vs.
Linux·aarch64
The attached patch to fixes this by removing the "-m" argument from a call
to "uname".
According to my local tests, with this patch applied, boolector should build
reproducibly on tests.reproducible-builds.org!
Thanks for maintaining boolector!
As this is on the lowNMU list, and I recently uploaded to fix related
reproducible builds issues, I'll proceed to upload another NMU shortly
to fix reproducible builds on all architectures...
live well,
vagrant
From: Vagrant Cascadian <[email protected]>
Date: Sat, 12 Nov 2022 04:28:38 +0000
X-Dgit-Generated: 1.5.118.6b56be4.121013-1.3 4590e8aaecbab65038ef787b9bbeac4dffc6dc99
Subject: mkconfig: Do not embed architecture of running kernel.
https://tests.reproducible-builds.org/debian/issues/unstable/captures_build_arch_issue.html
---
--- boolector-1.5.118.6b56be4.121013.orig/lingeling/mkconfig
+++ boolector-1.5.118.6b56be4.121013/lingeling/mkconfig
@@ -13,7 +13,7 @@ cat<<EOF
/**********************************************************/
EOF
-echo "#define LGL_OS \"`uname -sm`\""
+echo "#define LGL_OS \"`uname -s`\""
echo "#define LGL_COMPILED \"$(date --utc --date="@${SOURCE_DATE_EPOCH:-$(date +%s)}")\""
cat<<EOF
#define LGL_RELEASED "Sat Oct 13 14:05:26 CEST 2012"
--- boolector-1.5.118.6b56be4.121013.orig/mkconfig
+++ boolector-1.5.118.6b56be4.121013/mkconfig
@@ -28,7 +28,7 @@ sed \
-e 's,$,",' \
makefile | sed -e "$patchgccversion"
-echo "#define BTOR_OS \"`uname -sm`\""
+echo "#define BTOR_OS \"`uname -s`\""
echo "#define BTOR_COMPILED \"$(date --utc --date="@${SOURCE_DATE_EPOCH:-$(date +%s)}")\""
cat<<EOF
#define BTOR_RELEASED "Sat Oct 13 13:59:09 CEST 2012"
signature.asc
Description: PGP signature
--- End Message ---
--- Begin Message ---
Source: boolector
Source-Version: 1.5.118.6b56be4.121013-1.3
Done: Vagrant Cascadian <[email protected]>
We believe that the bug you reported is fixed in the latest version of
boolector, 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.
Vagrant Cascadian <[email protected]> (supplier of updated boolector 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: Fri, 11 Nov 2022 20:56:12 -0800
Source: boolector
Architecture: source
Version: 1.5.118.6b56be4.121013-1.3
Distribution: unstable
Urgency: medium
Maintainer: Michael Tautschnig <[email protected]>
Changed-By: Vagrant Cascadian <[email protected]>
Closes: 1023886
Changes:
boolector (1.5.118.6b56be4.121013-1.3) unstable; urgency=medium
.
* Non-maintainer upload.
* mkconfig: Do not embed architecture of running kernel.
(Closes: #1023886)
Checksums-Sha1:
93c69a54983bcafddb82baea317cc60616a7def8 1722
boolector_1.5.118.6b56be4.121013-1.3.dsc
86d0365b3cb14570895741219c1f2cd2c441f19a 5504
boolector_1.5.118.6b56be4.121013-1.3.debian.tar.xz
Checksums-Sha256:
2cc2638d7473fe81f49396d126dad3407a3ecac43ef6af6eb8e82a64c0065e57 1722
boolector_1.5.118.6b56be4.121013-1.3.dsc
bea3c882251b9b1f132002992135581b5281d92ab71111275233db09e065d35c 5504
boolector_1.5.118.6b56be4.121013-1.3.debian.tar.xz
Files:
e0f67050bc7fab1ce9ad6f0faedb2ccb 1722 science extra
boolector_1.5.118.6b56be4.121013-1.3.dsc
dfdbbab5e2d65e732397b76b58534f81 5504 science extra
boolector_1.5.118.6b56be4.121013-1.3.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iIkEARYKADEWIQRlgHNhO/zFx+LkXUXcUY/If5cWqgUCY28pbRMcdmFncmFudEBk
ZWJpYW4ub3JnAAoJENxRj8h/lxaq2zAA/AlC0SbsFVcrHkxZOKTdFM1b6zcPUeXR
mx8EUwLYrVY9AP9fVSTjd7tVXTKBuAj4WNOjqoLCPQeQ/oyMr8yWsJ4VBQ==
=j8pT
-----END PGP SIGNATURE-----
--- End Message ---
