minisat-debian
d7ef0bc201c2351cad2f8c51e5b0a939a622c092.patch
arch-options
win32-is-preprocessed
winx64-is-preprocessed
bswap-copy-paste-error
fixup-x32-support
no-32-bit-support-needed
byte_update-tests-are-little-endian-only
missing-support-for-big-endian
fixup-preprocessing
