Uploaded an NMU fixing this issue, with an additional change to build with the C.UTF-8 locale (otherwise the embedded timestamp varied in some locales).
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 2021-12-27
11:53:28.000000000 -0800
+++ boolector-1.5.118.6b56be4.121013/debian/changelog 2022-11-10
13:35:53.000000000 -0800
@@ -1,3 +1,16 @@
+boolector (1.5.118.6b56be4.121013-1.2) unstable; urgency=medium
+
+ * Non-maintainer upload.
+
+ [ Chris Lamb ]
+ * Do not embed kernel version and hostname. Use SOURCE_DATE_EPOCH for
+ timestamp. (Closes: #8311031)
+
+ [ Vagrant Cascadian ]
+ * debian/rules: Use C.UTF-8 locale for building to ensure reproducible
builds.
+
+ -- Vagrant Cascadian <vagr...@reproducible-builds.org> Thu, 10 Nov 2022
13:35:53 -0800
+
boolector (1.5.118.6b56be4.121013-1.1) unstable; urgency=low
* Non-maintainer upload.
diff -Nru
boolector-1.5.118.6b56be4.121013/debian/patches/do-not-embed-kernel-version-and-hostname.patch
boolector-1.5.118.6b56be4.121013/debian/patches/do-not-embed-kernel-version-and-hostname.patch
---
boolector-1.5.118.6b56be4.121013/debian/patches/do-not-embed-kernel-version-and-hostname.patch
1969-12-31 16:00:00.000000000 -0800
+++
boolector-1.5.118.6b56be4.121013/debian/patches/do-not-embed-kernel-version-and-hostname.patch
2022-11-10 13:35:53.000000000 -0800
@@ -0,0 +1,39 @@
+From: Chris Lamb <la...@debian.org>
+Date: Wed, 13 Jul 2016 21:26:55 +0200
+X-Dgit-Generated: 1.5.118.6b56be4.121013-1.2
ec9d419225ed99c456b0972362c0ee13281fac57
+Subject: Do not embed kernel version and hostname. Use SOURCE_DATE_EPOCH for
+
+timestamp. (Closes: #8311031)
+
+---
+
+diff --git a/lingeling/mkconfig b/lingeling/mkconfig
+index 0e356f3..5f99590 100755
+--- a/lingeling/mkconfig
++++ b/lingeling/mkconfig
+@@ -13,8 +13,8 @@ cat<<EOF
+ /**********************************************************/
+ EOF
+
+-echo "#define LGL_OS \"`uname -srmn`\""
+-echo "#define LGL_COMPILED \"`date`\""
++echo "#define LGL_OS \"`uname -sm`\""
++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"
+ #define LGL_VERSION "ala"
+diff --git a/mkconfig b/mkconfig
+index 4d1e8ac..56871ec 100755
+--- a/mkconfig
++++ b/mkconfig
+@@ -28,8 +28,8 @@ sed \
+ -e 's,$,",' \
+ makefile | sed -e "$patchgccversion"
+
+-echo "#define BTOR_OS \"`uname -srmn`\""
+-echo "#define BTOR_COMPILED \"`date`\""
++echo "#define BTOR_OS \"`uname -sm`\""
++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"
+ #define BTOR_VERSION "1.5.118"
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 2012-10-16
07:23:45.000000000 -0700
+++ boolector-1.5.118.6b56be4.121013/debian/patches/series 2022-11-10
13:35:53.000000000 -0800
@@ -1 +1,2 @@
debian-changes-1.5.118.6b56be4.121013-1
+do-not-embed-kernel-version-and-hostname.patch
diff -Nru boolector-1.5.118.6b56be4.121013/debian/rules
boolector-1.5.118.6b56be4.121013/debian/rules
--- boolector-1.5.118.6b56be4.121013/debian/rules 2021-12-27
11:53:28.000000000 -0800
+++ boolector-1.5.118.6b56be4.121013/debian/rules 2022-11-10
13:35:53.000000000 -0800
@@ -23,6 +23,8 @@
OPTFLAGS = -O
endif
+export LC_ALL=C.UTF-8
+
makefile: configure lingeling/configure
dh_testdir
# Add here commands to configure the package.
live well,
vagrant
signature.asc
Description: PGP signature
