minisat-debian
mips_abi_n32_n64_support.patch
disable_big_endian_tests
