Debian Patches

Status for boolector/1.5.118.6b56be4.121013-1.3

Patch Description Author Forwarded Bugs Origin Last update
debian-changes-1.5.118.6b56be4.121013-1 <short summary of the patch> TODO: Put a short summary on the line above and replace this paragraph
with a longer explanation of this change. Complete the meta-information
with other relevant fields (see below for details). To make it easier, the
information below has been extracted from the changelog. Adjust it or drop
it.
.
boolector (1.5.118.6b56be4.121013-1) unstable; urgency=low
.
* New upstream release
* Bumped Standards-Version to 3.9.3 (no changes)
Michael Tautschnig <mt@debian.org> no
do-not-embed-kernel-version-and-hostname.patch Do not embed kernel version and hostname. Use SOURCE_DATE_EPOCH for
timestamp. (Closes: #8311031)
Chris Lamb <lamby@debian.org> no 2016-07-13
mkconfig-do-not-embed-architecture-of-ru.patch mkconfig: Do not embed architecture of running kernel.
(Closes: #1023886)

https://tests.reproducible-builds.org/debian/issues/unstable/captures_build_arch_issue.html
Vagrant Cascadian <vagrant@reproducible-builds.org> no 2022-11-12

All known versions for source package 'boolector'

Links