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
goto-gcc-kfreebsd
unsigned-char-test-fix
mips-fixup
java-endianness-fix
