minisat-debian
mips_abi_n32_n64_support.patch
