Bug#1023886: boolector: reproducible builds: Embeds running kernel architecture in /usr/bin/boolector

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.0 -0800 +++

Bug#1023886: boolector: reproducible builds: Embeds running kernel architecture in /usr/bin/boolector

Source: boolector Severity: normal Tags: patch User: reproducible-bui...@lists.alioth.debian.org Usertags: kernel X-Debbugs-Cc: reproducible-b...@lists.alioth.debian.org The kernel architecture is embedded in /usr/bin/boolector: