Notes for boolector - reproducible builds result

Version annotated: 1.5.118.6b56be4.121013-1
Identified issues:
Identifier: captures_build_arch
Description Captures the build arch (`uname -m`, typically i686 v. x86_64).
Comments: Embed build time, hostname, and kernel version:
https://sources.debian.net/src/boolector/1.5.118.6b56be4.121013-1/lingeling/mkconfig/?hl=16:17#L16
 

Our notes about issues affecting packages are stored in notes.git and are targeted at packages in Debian in 'unstable/amd64' (unless they say otherwise).