I have uploaded an NMU fixing this issue: diff -Nru boolector-1.5.118.6b56be4.121013/debian/changelog boolector-1.5.118.6b56be4.121013/debian/changelog --- boolector-1.5.118.6b56be4.121013/debian/changelog 2022-11-10 13:35:53.000000000 -0800 +++ boolector-1.5.118.6b56be4.121013/debian/changelog 2022-11-11 20:56:12.000000000 -0800 @@ -1,3 +1,11 @@ +boolector (1.5.118.6b56be4.121013-1.3) unstable; urgency=medium + + * Non-maintainer upload. + * mkconfig: Do not embed architecture of running kernel. + (Closes: #1023886) + + -- Vagrant Cascadian <[email protected]> Fri, 11 Nov 2022 20:56:12 -0800 + boolector (1.5.118.6b56be4.121013-1.2) unstable; urgency=medium * Non-maintainer upload. diff -Nru boolector-1.5.118.6b56be4.121013/debian/patches/mkconfig-do-not-embed-architecture-of-ru.patch boolector-1.5.118.6b56be4.121013/debian/patches/mkconfig-do-not-embed-architecture-of-ru.patch --- boolector-1.5.118.6b56be4.121013/debian/patches/mkconfig-do-not-embed-architecture-of-ru.patch 1969-12-31 16:00:00.000000000 -0800 +++ boolector-1.5.118.6b56be4.121013/debian/patches/mkconfig-do-not-embed-architecture-of-ru.patch 2022-11-11 20:56:12.000000000 -0800 @@ -0,0 +1,37 @@ +From: Vagrant Cascadian <[email protected]> +Date: Sat, 12 Nov 2022 04:28:38 +0000 +X-Dgit-Generated: 1.5.118.6b56be4.121013-1.3 f1be0e4d3e0bc3d6c0f7f2b741860bd16a67ab4c +Subject: mkconfig: Do not embed architecture of running kernel. + +(Closes: #1023886) + +https://tests.reproducible-builds.org/debian/issues/unstable/captures_build_arch_issue.html + +--- + +diff --git a/lingeling/mkconfig b/lingeling/mkconfig +index 5f99590..61e0618 100755 +--- a/lingeling/mkconfig ++++ b/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" +diff --git a/mkconfig b/mkconfig +index 56871ec..68c8c60 100755 +--- a/mkconfig ++++ b/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" diff -Nru boolector-1.5.118.6b56be4.121013/debian/patches/series boolector-1.5.118.6b56be4.121013/debian/patches/series --- boolector-1.5.118.6b56be4.121013/debian/patches/series 2022-11-10 13:35:53.000000000 -0800 +++ boolector-1.5.118.6b56be4.121013/debian/patches/series 2022-11-11 20:56:12.000000000 -0800 @@ -1,2 +1,3 @@ debian-changes-1.5.118.6b56be4.121013-1 do-not-embed-kernel-version-and-hostname.patch +mkconfig-do-not-embed-architecture-of-ru.patch
signature.asc
Description: PGP signature
